Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 9

325 lines Updated Dec 5, 2024 ID: 1782
Rocq Locked
File

Summary: Coq code number 30

246 lines Updated Dec 5, 2024 ID: 1803
Rocq Locked
File

Summary: Coq code number 19

24 lines Updated Dec 5, 2024 ID: 1792
Rocq Locked
File

Summary: Coq code number 8

253 lines Updated Dec 5, 2024 ID: 1781
Rocq Locked
File

Summary: Coq code number 29

267 lines Updated Dec 5, 2024 ID: 1802
Rocq Locked
File

Summary: Coq code number 6

979 lines Updated Dec 5, 2024 ID: 1779
Rocq Locked
File

Summary: Coq code number 41

1,139 lines Updated Dec 5, 2024 ID: 1814
Rocq Locked
File

Summary: Coq code number 18

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

Summary: Lean code number 970

104 lines Updated Dec 5, 2024 ID: 1757
Lean Locked
File

Summary: Lean code number 947

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

Summary: Lean code number 980

4 lines Updated Dec 5, 2024 ID: 1767
Lean Locked
File

Summary: Lean code number 957

203 lines Updated Dec 5, 2024 ID: 1744
Lean Locked
File

Summary: Lean code number 969

23 lines Updated Dec 5, 2024 ID: 1756
Lean Locked
File

Summary: Lean code number 946

26 lines Updated Dec 5, 2024 ID: 1733
Lean Locked
File

Summary: Lean code number 967

60 lines Updated Dec 5, 2024 ID: 1754
Load more Results