Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 905

69 lines Updated Dec 5, 2024 ID: 1692
Lean Locked
File

Summary: Lean code number 938

9 lines Updated Dec 5, 2024 ID: 1725
Lean Locked
File

Summary: Lean code number 915

11 lines Updated Dec 5, 2024 ID: 1702
Lean Locked
File

Summary: Lean code number 927

552 lines Updated Dec 5, 2024 ID: 1714
Lean Locked
File

Summary: Lean code number 904

577 lines Updated Dec 5, 2024 ID: 1691
Lean Locked
File

Summary: Lean code number 870

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

Summary: Lean code number 893

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

Summary: Lean code number 891

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

Summary: Lean code number 857

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

Summary: Lean code number 880

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

Summary: Lean code number 869

146 lines Updated Dec 5, 2024 ID: 1656
Lean Locked
File

Summary: Lean code number 890

492 lines Updated Dec 5, 2024 ID: 1677
Lean Locked
File

Summary: Lean code number 867

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

Summary: Lean code number 879

31 lines Updated Dec 5, 2024 ID: 1666
Lean Locked
File

Summary: Lean code number 856

77 lines Updated Dec 5, 2024 ID: 1643
Load more Results