Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 392

774,515 lines Updated Dec 5, 2024 ID: 392
Dafny Locked
File

Summary: DafnyBench code number 381

919,257 lines Updated Dec 5, 2024 ID: 381
Dafny Locked
File

Summary: DafnyBench code number 358

933,429 lines Updated Dec 5, 2024 ID: 358
Dafny Locked
File

Summary: DafnyBench code number 405

998,154 lines Updated Dec 5, 2024 ID: 405
Dafny Locked
File

Summary: DafnyBench code number 368

858,709 lines Updated Dec 5, 2024 ID: 368
Dafny Locked
File

Summary: DafnyBench code number 391

469,549 lines Updated Dec 5, 2024 ID: 391
Dafny Locked
File

Summary: DafnyBench code number 357

303,766 lines Updated Dec 5, 2024 ID: 357
Dafny Locked
File

Summary: DafnyBench code number 404

132,533 lines Updated Dec 5, 2024 ID: 404
Dafny Locked
File

Summary: DafnyBench code number 380

423,131 lines Updated Dec 5, 2024 ID: 380
Dafny Locked
File

Summary: DafnyBench code number 414

366,667 lines Updated Dec 5, 2024 ID: 414
Dafny Locked
File

Summary: DafnyBench code number 390

191,076 lines Updated Dec 5, 2024 ID: 390
Dafny Locked
File

Summary: DafnyBench code number 367

537,239 lines Updated Dec 5, 2024 ID: 367
Dafny Locked
File

Summary: DafnyBench code number 356

861,801 lines Updated Dec 5, 2024 ID: 356
Dafny Locked
File

Summary: DafnyBench code number 403

221,503 lines Updated Dec 5, 2024 ID: 403
Dafny Locked
File

Summary: DafnyBench code number 379

732,132 lines Updated Dec 5, 2024 ID: 379
Load more Results