Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 501

787,548 lines Updated Dec 5, 2024 ID: 501
Dafny Locked
File

Summary: DafnyBench code number 513

21,509 lines Updated Dec 5, 2024 ID: 513
Dafny Locked
File

Summary: DafnyBench code number 490

818,388 lines Updated Dec 5, 2024 ID: 490
Dafny Locked
File

Summary: DafnyBench code number 502

99,611 lines Updated Dec 5, 2024 ID: 502
Dafny Locked
File

Summary: DafnyBench code number 479

524,036 lines Updated Dec 5, 2024 ID: 479
Dafny Locked
File

Summary: DafnyBench code number 523

313,975 lines Updated Dec 5, 2024 ID: 523
Dafny Locked
File

Summary: DafnyBench code number 500

946,042 lines Updated Dec 5, 2024 ID: 500
Dafny Locked
File

Summary: DafnyBench code number 512

692,877 lines Updated Dec 5, 2024 ID: 512
Dafny Locked
File

Summary: DafnyBench code number 489

27,945 lines Updated Dec 5, 2024 ID: 489
Dafny Locked
File

Summary: DafnyBench code number 478

48,160 lines Updated Dec 5, 2024 ID: 478
Dafny Locked
File

Summary: DafnyBench code number 522

139,720 lines Updated Dec 5, 2024 ID: 522
Dafny Locked
File

Summary: DafnyBench code number 499

647,554 lines Updated Dec 5, 2024 ID: 499
Dafny Locked
File

Summary: DafnyBench code number 511

147,625 lines Updated Dec 5, 2024 ID: 511
Dafny Locked
File

Summary: DafnyBench code number 488

107,112 lines Updated Dec 5, 2024 ID: 488
Dafny Locked
File

Summary: DafnyBench code number 477

238,921 lines Updated Dec 5, 2024 ID: 477
Load more Results