Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 14

7 lines Updated Dec 5, 2024 ID: 801
Dafny Locked
File

Summary: DafnyBench code number 767

475,584 lines Updated Dec 5, 2024 ID: 767
Lean Locked
File

Summary: Lean code number 3

14 lines Updated Dec 5, 2024 ID: 790
Dafny Locked
File

Summary: DafnyBench code number 779

996,198 lines Updated Dec 5, 2024 ID: 779
Dafny Locked
File

Summary: DafnyBench code number 756

34,772 lines Updated Dec 5, 2024 ID: 756
Lean Locked
File

Summary: Lean code number 13

82 lines Updated Dec 5, 2024 ID: 800
Dafny Locked
File

Summary: DafnyBench code number 777

433,538 lines Updated Dec 5, 2024 ID: 777
Dafny Locked
File

Summary: DafnyBench code number 766

44,439 lines Updated Dec 5, 2024 ID: 766
Lean Locked
File

Summary: Lean code number 2

155 lines Updated Dec 5, 2024 ID: 789
Dafny Locked
File

Summary: DafnyBench code number 755

64,963 lines Updated Dec 5, 2024 ID: 755
Dafny Locked
File

Summary: DafnyBench code number 778

59,363 lines Updated Dec 5, 2024 ID: 778
Lean Locked
File

Summary: Lean code number 12

56 lines Updated Dec 5, 2024 ID: 799
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
Load more Results