Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 21

72 lines Updated Dec 5, 2024 ID: 1794
Rocq Locked
File

Summary: Coq code number 10

690 lines Updated Dec 5, 2024 ID: 1783
Rocq Locked
File

Summary: Coq code number 33

10 lines Updated Dec 5, 2024 ID: 1806
Rocq Locked
File

Summary: Coq code number 31

64 lines Updated Dec 5, 2024 ID: 1804
Rocq Locked
File

Summary: Coq code number 20

20 lines Updated Dec 5, 2024 ID: 1793
Rocq Locked
File

Summary: Coq code number 32

62 lines Updated Dec 5, 2024 ID: 1805
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
Rocq Locked
File

Summary: Coq code number 7

617 lines Updated Dec 5, 2024 ID: 1780
Load more Results