Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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
Lean Locked
File

Summary: Lean code number 951

67 lines Updated Dec 5, 2024 ID: 1738
Dafny Locked
File

Summary: Test Armin #120 v1

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

Summary: Lean code number 961

337 lines Updated Dec 5, 2024 ID: 1748
Lean Locked
File

Summary: Lean code number 973

87 lines Updated Dec 5, 2024 ID: 1760
Load more Results