Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 380

1,085 lines Updated Dec 5, 2024 ID: 2153
Rocq Locked
File

Summary: Coq code number 369

166 lines Updated Dec 5, 2024 ID: 2142
Rocq Locked
File

Summary: Coq code number 358

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

Summary: Coq code number 356

200 lines Updated Dec 5, 2024 ID: 2129
Rocq Locked
File

Summary: Coq code number 379

963 lines Updated Dec 5, 2024 ID: 2152
Rocq Locked
File

Summary: Coq code number 368

981 lines Updated Dec 5, 2024 ID: 2141
Rocq Locked
File

Summary: Coq code number 357

40 lines Updated Dec 5, 2024 ID: 2130
Rocq Locked
File

Summary: Coq code number 355

1,238 lines Updated Dec 5, 2024 ID: 2128
Rocq Locked
File

Summary: Coq code number 378

145 lines Updated Dec 5, 2024 ID: 2151
Rocq Locked
File

Summary: Coq code number 367

343 lines Updated Dec 5, 2024 ID: 2140
Rocq Locked
File

Summary: Coq code number 377

178 lines Updated Dec 5, 2024 ID: 2150
Rocq Locked
File

Summary: Coq code number 354

49 lines Updated Dec 5, 2024 ID: 2127
Rocq Locked
File

Summary: Coq code number 366

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

Summary: Coq code number 376

138 lines Updated Dec 5, 2024 ID: 2149
Rocq Locked
File

Summary: Coq code number 353

236 lines Updated Dec 5, 2024 ID: 2126
Load more Results