Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 662

706,594 lines Updated Dec 5, 2024 ID: 662
Dafny Locked
File

Summary: DafnyBench code number 639

852,289 lines Updated Dec 5, 2024 ID: 639
Dafny Locked
File

Summary: DafnyBench code number 628

325,479 lines Updated Dec 5, 2024 ID: 628
Dafny Locked
File

Summary: DafnyBench code number 673

304,020 lines Updated Dec 5, 2024 ID: 673
Dafny Locked
File

Summary: DafnyBench code number 649

684,731 lines Updated Dec 5, 2024 ID: 649
Dafny Locked
File

Summary: DafnyBench code number 685

61,472 lines Updated Dec 5, 2024 ID: 685
Dafny Locked
File

Summary: DafnyBench code number 661

98,753 lines Updated Dec 5, 2024 ID: 661
Dafny Locked
File

Summary: DafnyBench code number 638

787,000 lines Updated Dec 5, 2024 ID: 638
Dafny Locked
File

Summary: DafnyBench code number 672

407,935 lines Updated Dec 5, 2024 ID: 672
Dafny Locked
File

Summary: DafnyBench code number 648

471,505 lines Updated Dec 5, 2024 ID: 648
Dafny Locked
File

Summary: DafnyBench code number 614

487,043 lines Updated Dec 5, 2024 ID: 614
Dafny Locked
File

Summary: DafnyBench code number 591

142,763 lines Updated Dec 5, 2024 ID: 591
Dafny Locked
File

Summary: DafnyBench code number 580

781,817 lines Updated Dec 5, 2024 ID: 580
Dafny Locked
File

Summary: DafnyBench code number 603

507,681 lines Updated Dec 5, 2024 ID: 603
Dafny Locked
File

Summary: DafnyBench code number 624

31,956 lines Updated Dec 5, 2024 ID: 624
Load more Results