Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 396

4 lines Updated Dec 5, 2024 ID: 2169
Rocq Locked
File

Summary: Coq code number 385

95 lines Updated Dec 5, 2024 ID: 2158
Rocq Locked
File

Summary: Coq code number 408

132 lines Updated Dec 5, 2024 ID: 2181
Rocq Locked
File

Summary: Coq code number 406

13 lines Updated Dec 5, 2024 ID: 2179
Rocq Locked
File

Summary: Coq code number 418

34 lines Updated Dec 5, 2024 ID: 2191
Rocq Locked
File

Summary: Coq code number 395

858 lines Updated Dec 5, 2024 ID: 2168
Rocq Locked
File

Summary: Coq code number 407

5 lines Updated Dec 5, 2024 ID: 2180
Rocq Locked
File

Summary: Coq code number 405

21 lines Updated Dec 5, 2024 ID: 2178
Rocq Locked
File

Summary: Coq code number 417

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

Summary: Coq code number 394

218 lines Updated Dec 5, 2024 ID: 2167
Rocq Locked
File

Summary: Coq code number 404

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

Summary: Coq code number 416

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

Summary: Coq code number 393

47 lines Updated Dec 5, 2024 ID: 2166
Rocq Locked
File

Summary: Coq code number 382

236 lines Updated Dec 5, 2024 ID: 2155
Rocq Locked
File

Summary: Coq code number 359

358 lines Updated Dec 5, 2024 ID: 2132
Load more Results