Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 746

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

Summary: Lean code number 723

110 lines Updated Dec 5, 2024 ID: 1510
Lean Locked
File

Summary: Lean code number 756

151 lines Updated Dec 5, 2024 ID: 1543
Lean Locked
File

Summary: Lean code number 733

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

Summary: Lean code number 710

830 lines Updated Dec 5, 2024 ID: 1497
Lean Locked
File

Summary: Lean code number 745

317 lines Updated Dec 5, 2024 ID: 1532
Lean Locked
File

Summary: Lean code number 722

52 lines Updated Dec 5, 2024 ID: 1509
Lean Locked
File

Summary: Lean code number 755

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

Summary: Lean code number 732

8 lines Updated Dec 5, 2024 ID: 1519
Lean Locked
File

Summary: Lean code number 744

34 lines Updated Dec 5, 2024 ID: 1531
Lean Locked
File

Summary: Lean code number 721

3 lines Updated Dec 5, 2024 ID: 1508
Lean Locked
File

Summary: Lean code number 742

308 lines Updated Dec 5, 2024 ID: 1529
Lean Locked
File

Summary: Lean code number 754

538 lines Updated Dec 5, 2024 ID: 1541
Lean Locked
File

Summary: Lean code number 731

36 lines Updated Dec 5, 2024 ID: 1518
Lean Locked
File

Summary: Lean code number 697

84 lines Updated Dec 5, 2024 ID: 1484
Load more Results