Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 326

184 lines Updated Dec 5, 2024 ID: 2099
Rocq Locked
File

Summary: Coq code number 338

1,161 lines Updated Dec 5, 2024 ID: 2111
Rocq Locked
File

Summary: Coq code number 315

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

Summary: Coq code number 348

6 lines Updated Dec 5, 2024 ID: 2121
Rocq Locked
File

Summary: Coq code number 325

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

Summary: Coq code number 337

355 lines Updated Dec 5, 2024 ID: 2110
Rocq Locked
File

Summary: Coq code number 314

12 lines Updated Dec 5, 2024 ID: 2087
Rocq Locked
File

Summary: Coq code number 347

1,161 lines Updated Dec 5, 2024 ID: 2120
Rocq Locked
File

Summary: Coq code number 324

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

Summary: Coq code number 313

114 lines Updated Dec 5, 2024 ID: 2086
Rocq Locked
File

Summary: Coq code number 290

148 lines Updated Dec 5, 2024 ID: 2063
Rocq Locked
File

Summary: Coq code number 300

8 lines Updated Dec 5, 2024 ID: 2073
Rocq Locked
File

Summary: Coq code number 312

55 lines Updated Dec 5, 2024 ID: 2085
Rocq Locked
File

Summary: Coq code number 289

226 lines Updated Dec 5, 2024 ID: 2062
Rocq Locked
File

Summary: Coq code number 299

171 lines Updated Dec 5, 2024 ID: 2072
Load more Results