Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 382

326,891 lines Updated Dec 5, 2024 ID: 382
Dafny Locked
File

Summary: DafnyBench code number 359

755,844 lines Updated Dec 5, 2024 ID: 359
Dafny Locked
File

Summary: DafnyBench code number 406

593,169 lines Updated Dec 5, 2024 ID: 406
Dafny Locked
File

Summary: DafnyBench code number 369

681,828 lines Updated Dec 5, 2024 ID: 369
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
Load more Results