Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 1

242 lines Updated Dec 5, 2024 ID: 1774
Rocq Locked
File

Summary: Coq code number 24

65 lines Updated Dec 5, 2024 ID: 1797
Rocq Locked
File

Summary: Coq code number 13

1,380 lines Updated Dec 5, 2024 ID: 1786
Rocq Locked
File

Summary: Coq code number 36

76 lines Updated Dec 5, 2024 ID: 1809
Rocq Locked
File

Summary: Coq code number 23

1,203 lines Updated Dec 5, 2024 ID: 1796
Dafny Locked
File

Summary: Armin Test #500

81 lines Updated Dec 5, 2024 ID: 1773
Rocq Locked
File

Summary: Coq code number 35

42 lines Updated Dec 5, 2024 ID: 1808
Rocq Locked
File

Summary: Coq code number 12

59 lines Updated Dec 5, 2024 ID: 1785
Rocq Locked
File

Summary: Coq code number 22

134 lines Updated Dec 5, 2024 ID: 1795
Rocq Locked
File

Summary: Coq code number 34

37 lines Updated Dec 5, 2024 ID: 1807
Rocq Locked
File

Summary: Coq code number 11

71 lines Updated Dec 5, 2024 ID: 1784
Rocq Locked
File

Summary: Coq code number 21

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

Summary: Coq code number 33

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

Summary: Coq code number 10

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

Summary: Coq code number 31

64 lines Updated Dec 5, 2024 ID: 1804
Load more Results