Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 115

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

Summary: Coq code number 125

19 lines Updated Dec 5, 2024 ID: 1898
Rocq Locked
File

Summary: Coq code number 102

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

Summary: Coq code number 114

428 lines Updated Dec 5, 2024 ID: 1887
Rocq Locked
File

Summary: Coq code number 91

466 lines Updated Dec 5, 2024 ID: 1864
Rocq Locked
File

Summary: Coq code number 124

446 lines Updated Dec 5, 2024 ID: 1897
Rocq Locked
File

Summary: Coq code number 101

28 lines Updated Dec 5, 2024 ID: 1874
Rocq Locked
File

Summary: Coq code number 113

11 lines Updated Dec 5, 2024 ID: 1886
Rocq Locked
File

Summary: Coq code number 90

67 lines Updated Dec 5, 2024 ID: 1863
Rocq Locked
File

Summary: Coq code number 123

538 lines Updated Dec 5, 2024 ID: 1896
Rocq Locked
File

Summary: Coq code number 100

1,315 lines Updated Dec 5, 2024 ID: 1873
Rocq Locked
File

Summary: Coq code number 112

17 lines Updated Dec 5, 2024 ID: 1885
Rocq Locked
File

Summary: Coq code number 89

11 lines Updated Dec 5, 2024 ID: 1862
Rocq Locked
File

Summary: Coq code number 122

1,574 lines Updated Dec 5, 2024 ID: 1895
Rocq Locked
File

Summary: Coq code number 99

157 lines Updated Dec 5, 2024 ID: 1872
Load more Results