Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 590

745,006 lines Updated Dec 5, 2024 ID: 590
Dafny Locked
File

Summary: DafnyBench code number 602

762,518 lines Updated Dec 5, 2024 ID: 602
Dafny Locked
File

Summary: DafnyBench code number 579

523,475 lines Updated Dec 5, 2024 ID: 579
Dafny Locked
File

Summary: DafnyBench code number 600

692,999 lines Updated Dec 5, 2024 ID: 600
Dafny Locked
File

Summary: DafnyBench code number 623

72,788 lines Updated Dec 5, 2024 ID: 623
Dafny Locked
File

Summary: DafnyBench code number 612

567,916 lines Updated Dec 5, 2024 ID: 612
Dafny Locked
File

Summary: DafnyBench code number 589

860,755 lines Updated Dec 5, 2024 ID: 589
Dafny Locked
File

Summary: DafnyBench code number 578

611,852 lines Updated Dec 5, 2024 ID: 578
Dafny Locked
File

Summary: DafnyBench code number 599

232,230 lines Updated Dec 5, 2024 ID: 599
Dafny Locked
File

Summary: DafnyBench code number 576

982,596 lines Updated Dec 5, 2024 ID: 576
Dafny Locked
File

Summary: DafnyBench code number 622

110,661 lines Updated Dec 5, 2024 ID: 622
Dafny Locked
File

Summary: DafnyBench code number 588

186,256 lines Updated Dec 5, 2024 ID: 588
Dafny Locked
File

Summary: DafnyBench code number 611

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

Summary: DafnyBench code number 577

511,928 lines Updated Dec 5, 2024 ID: 577
Dafny Locked
File

Summary: DafnyBench code number 575

133,683 lines Updated Dec 5, 2024 ID: 575
Load more Results