Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 776

36,109 lines Updated Dec 5, 2024 ID: 776
Lean Locked
File

Summary: Lean code number 1

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

Summary: DafnyBench code number 765

248,870 lines Updated Dec 5, 2024 ID: 765
Dafny Locked
File

Summary: DafnyBench code number 754

96,681 lines Updated Dec 5, 2024 ID: 754
Lean Locked
File

Summary: Lean code number 11

20 lines Updated Dec 5, 2024 ID: 798
Dafny Locked
File

Summary: DafnyBench code number 775

582,336 lines Updated Dec 5, 2024 ID: 775
Dafny Locked
File

Summary: DafnyBench code number 752

200,240 lines Updated Dec 5, 2024 ID: 752
Dafny Locked
File

Summary: Armin Test #101

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

Summary: DafnyBench code number 764

733,304 lines Updated Dec 5, 2024 ID: 764
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 740

661,230 lines Updated Dec 5, 2024 ID: 740
Dafny Locked
File

Summary: DafnyBench code number 717

317,015 lines Updated Dec 5, 2024 ID: 717
Dafny Locked
File

Summary: DafnyBench code number 694

313,360 lines Updated Dec 5, 2024 ID: 694
Dafny Locked
File

Summary: DafnyBench code number 729

668,881 lines Updated Dec 5, 2024 ID: 729
Load more Results