Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 978

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

Summary: Lean code number 955

139 lines Updated Dec 5, 2024 ID: 1742
Lean Locked
File

Summary: Lean code number 944

167 lines Updated Dec 5, 2024 ID: 1731
Lean Locked
File

Summary: Lean code number 965

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

Summary: Lean code number 977

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

Summary: Lean code number 954

101 lines Updated Dec 5, 2024 ID: 1741
Lean Locked
File

Summary: Lean code number 964

45 lines Updated Dec 5, 2024 ID: 1751
Lean Locked
File

Summary: Lean code number 976

1,320 lines Updated Dec 5, 2024 ID: 1763
Lean Locked
File

Summary: Lean code number 953

131 lines Updated Dec 5, 2024 ID: 1740
Lean Locked
File

Summary: Lean code number 963

541 lines Updated Dec 5, 2024 ID: 1750
Lean Locked
File

Summary: Lean code number 975

22 lines Updated Dec 5, 2024 ID: 1762
Lean Locked
File

Summary: Lean code number 952

178 lines Updated Dec 5, 2024 ID: 1739
Dafny Locked
File

Summary: Armin Test #99 v3

1 lines Updated Dec 5, 2024 ID: 1772
Lean Locked
File

Summary: Lean code number 962

180 lines Updated Dec 5, 2024 ID: 1749
Lean Locked
File

Summary: Lean code number 974

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