Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 297

257,846 lines Updated Dec 5, 2024 ID: 297
Dafny Locked
File

Summary: DafnyBench code number 332

283,455 lines Updated Dec 5, 2024 ID: 332
Dafny Locked
File

Summary: DafnyBench code number 309

145,783 lines Updated Dec 5, 2024 ID: 309
Dafny Locked
File

Summary: DafnyBench code number 273

293,905 lines Updated Dec 5, 2024 ID: 273
Dafny Locked
File

Summary: DafnyBench code number 228

220,102 lines Updated Dec 5, 2024 ID: 228
Dafny Locked
File

Summary: DafnyBench code number 285

19,155 lines Updated Dec 5, 2024 ID: 285
Dafny Locked
File

Summary: DafnyBench code number 262

496,381 lines Updated Dec 5, 2024 ID: 262
Dafny Locked
File

Summary: DafnyBench code number 249

192,427 lines Updated Dec 5, 2024 ID: 249
Dafny Locked
File

Summary: DafnyBench code number 251

8,509 lines Updated Dec 5, 2024 ID: 251
Dafny Locked
File

Summary: DafnyBench code number 238

822,768 lines Updated Dec 5, 2024 ID: 238
Dafny Locked
File

Summary: DafnyBench code number 272

145,494 lines Updated Dec 5, 2024 ID: 272
Dafny Locked
File

Summary: DafnyBench code number 227

123,213 lines Updated Dec 5, 2024 ID: 227
Dafny Locked
File

Summary: DafnyBench code number 261

891,372 lines Updated Dec 5, 2024 ID: 261
Dafny Locked
File

Summary: DafnyBench code number 248

814,992 lines Updated Dec 5, 2024 ID: 248
Dafny Locked
File

Summary: DafnyBench code number 284

323,801 lines Updated Dec 5, 2024 ID: 284
Load more Results