Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 696

860,621 lines Updated Dec 5, 2024 ID: 696
Dafny Locked
File

Summary: DafnyBench code number 742

520,643 lines Updated Dec 5, 2024 ID: 742
Dafny Locked
File

Summary: DafnyBench code number 719

130,641 lines Updated Dec 5, 2024 ID: 719
Dafny Locked
File

Summary: DafnyBench code number 708

102,891 lines Updated Dec 5, 2024 ID: 708
Dafny Locked
File

Summary: DafnyBench code number 731

299,317 lines Updated Dec 5, 2024 ID: 731
Dafny Locked
File

Summary: DafnyBench code number 741

900,867 lines Updated Dec 5, 2024 ID: 741
Dafny Locked
File

Summary: DafnyBench code number 718

216,337 lines Updated Dec 5, 2024 ID: 718
Dafny Locked
File

Summary: DafnyBench code number 695

560,140 lines Updated Dec 5, 2024 ID: 695
Dafny Locked
File

Summary: DafnyBench code number 730

61,192 lines Updated Dec 5, 2024 ID: 730
Dafny Locked
File

Summary: DafnyBench code number 707

360,429 lines Updated Dec 5, 2024 ID: 707
Dafny Locked
File

Summary: DafnyBench code number 671

911,884 lines Updated Dec 5, 2024 ID: 671
Dafny Locked
File

Summary: DafnyBench code number 647

890,931 lines Updated Dec 5, 2024 ID: 647
Dafny Locked
File

Summary: DafnyBench code number 683

551,768 lines Updated Dec 5, 2024 ID: 683
Dafny Locked
File

Summary: DafnyBench code number 659

515,510 lines Updated Dec 5, 2024 ID: 659
Dafny Locked
File

Summary: DafnyBench code number 636

5,838 lines Updated Dec 5, 2024 ID: 636
Load more Results