Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 917

152 lines Updated Dec 5, 2024 ID: 1704
Lean Locked
File

Summary: Lean code number 929

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

Summary: Lean code number 906

143 lines Updated Dec 5, 2024 ID: 1693
Lean Locked
File

Summary: Lean code number 918

525 lines Updated Dec 5, 2024 ID: 1705
Lean Locked
File

Summary: Lean code number 939

451 lines Updated Dec 5, 2024 ID: 1726
Lean Locked
File

Summary: Lean code number 916

81 lines Updated Dec 5, 2024 ID: 1703
Lean Locked
File

Summary: Lean code number 928

424 lines Updated Dec 5, 2024 ID: 1715
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 937

351 lines Updated Dec 5, 2024 ID: 1724
Lean Locked
File

Summary: Lean code number 914

122 lines Updated Dec 5, 2024 ID: 1701
Lean Locked
File

Summary: Lean code number 926

59 lines Updated Dec 5, 2024 ID: 1713
Load more Results