Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 545

93 lines Updated Dec 5, 2024 ID: 1332
Lean Locked
File

Summary: Lean code number 522

71 lines Updated Dec 5, 2024 ID: 1309
Lean Locked
File

Summary: Lean code number 566

493 lines Updated Dec 5, 2024 ID: 1353
Lean Locked
File

Summary: Lean code number 555

43 lines Updated Dec 5, 2024 ID: 1342
Lean Locked
File

Summary: Lean code number 532

39 lines Updated Dec 5, 2024 ID: 1319
Lean Locked
File

Summary: Lean code number 544

80 lines Updated Dec 5, 2024 ID: 1331
Lean Locked
File

Summary: Lean code number 521

209 lines Updated Dec 5, 2024 ID: 1308
Lean Locked
File

Summary: Lean code number 565

17 lines Updated Dec 5, 2024 ID: 1352
Lean Locked
File

Summary: Lean code number 542

24 lines Updated Dec 5, 2024 ID: 1329
Lean Locked
File

Summary: Lean code number 554

42 lines Updated Dec 5, 2024 ID: 1341
Lean Locked
File

Summary: Lean code number 531

88 lines Updated Dec 5, 2024 ID: 1318
Lean Locked
File

Summary: Lean code number 543

56 lines Updated Dec 5, 2024 ID: 1330
Lean Locked
File

Summary: Lean code number 520

164 lines Updated Dec 5, 2024 ID: 1307
Lean Locked
File

Summary: Lean code number 541

23 lines Updated Dec 5, 2024 ID: 1328
Lean Locked
File

Summary: Lean code number 564

3 lines Updated Dec 5, 2024 ID: 1351
Load more Results