Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 872

82 lines Updated Dec 5, 2024 ID: 1659
Lean Locked
File

Summary: Lean code number 895

5 lines Updated Dec 5, 2024 ID: 1682
Lean Locked
File

Summary: Lean code number 859

25 lines Updated Dec 5, 2024 ID: 1646
Lean Locked
File

Summary: Lean code number 882

772 lines Updated Dec 5, 2024 ID: 1669
Lean Locked
File

Summary: Lean code number 894

313 lines Updated Dec 5, 2024 ID: 1681
Lean Locked
File

Summary: Lean code number 871

243 lines Updated Dec 5, 2024 ID: 1658
Lean Locked
File

Summary: Lean code number 892

96 lines Updated Dec 5, 2024 ID: 1679
Lean Locked
File

Summary: Lean code number 881

70 lines Updated Dec 5, 2024 ID: 1668
Lean Locked
File

Summary: Lean code number 858

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

Summary: Lean code number 893

418 lines Updated Dec 5, 2024 ID: 1680
Lean Locked
File

Summary: Lean code number 870

19 lines Updated Dec 5, 2024 ID: 1657
Lean Locked
File

Summary: Lean code number 891

215 lines Updated Dec 5, 2024 ID: 1678
Lean Locked
File

Summary: Lean code number 880

371 lines Updated Dec 5, 2024 ID: 1667
Lean Locked
File

Summary: Lean code number 857

666 lines Updated Dec 5, 2024 ID: 1644
Lean Locked
File

Summary: Lean code number 869

146 lines Updated Dec 5, 2024 ID: 1656
Load more Results