Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 637

185 lines Updated Dec 5, 2024 ID: 1424
Lean Locked
File

Summary: Lean code number 649

686 lines Updated Dec 5, 2024 ID: 1436
Lean Locked
File

Summary: Lean code number 626

29 lines Updated Dec 5, 2024 ID: 1413
Lean Locked
File

Summary: Lean code number 659

360 lines Updated Dec 5, 2024 ID: 1446
Lean Locked
File

Summary: Lean code number 636

104 lines Updated Dec 5, 2024 ID: 1423
Lean Locked
File

Summary: Lean code number 648

659 lines Updated Dec 5, 2024 ID: 1435
Lean Locked
File

Summary: Lean code number 625

147 lines Updated Dec 5, 2024 ID: 1412
Lean Locked
File

Summary: Lean code number 658

40 lines Updated Dec 5, 2024 ID: 1445
Lean Locked
File

Summary: Lean code number 635

48 lines Updated Dec 5, 2024 ID: 1422
Lean Locked
File

Summary: Lean code number 647

87 lines Updated Dec 5, 2024 ID: 1434
Lean Locked
File

Summary: Lean code number 624

256 lines Updated Dec 5, 2024 ID: 1411
Lean Locked
File

Summary: Lean code number 657

7 lines Updated Dec 5, 2024 ID: 1444
Lean Locked
File

Summary: Lean code number 634

46 lines Updated Dec 5, 2024 ID: 1421
Lean Locked
File

Summary: Lean code number 646

49 lines Updated Dec 5, 2024 ID: 1433
Lean Locked
File

Summary: Lean code number 623

7 lines Updated Dec 5, 2024 ID: 1410
Load more Results