Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 76

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

Summary: Lean code number 53

32 lines Updated Dec 5, 2024 ID: 840
Lean Locked
File

Summary: Lean code number 30

70 lines Updated Dec 5, 2024 ID: 817
Lean Locked
File

Summary: Lean code number 42

13 lines Updated Dec 5, 2024 ID: 829
Lean Locked
File

Summary: Lean code number 63

8 lines Updated Dec 5, 2024 ID: 850
Lean Locked
File

Summary: Lean code number 40

12 lines Updated Dec 5, 2024 ID: 827
Lean Locked
File

Summary: Lean code number 75

292 lines Updated Dec 5, 2024 ID: 862
Lean Locked
File

Summary: Lean code number 52

739 lines Updated Dec 5, 2024 ID: 839
Lean Locked
File

Summary: Lean code number 29

138 lines Updated Dec 5, 2024 ID: 816
Lean Locked
File

Summary: Lean code number 15

388 lines Updated Dec 5, 2024 ID: 802
Lean Locked
File

Summary: Lean code number 4

21 lines Updated Dec 5, 2024 ID: 791
Dafny Locked
File

Summary: DafnyBench code number 768

244,603 lines Updated Dec 5, 2024 ID: 768
Dafny Locked
File

Summary: DafnyBench code number 780

802,901 lines Updated Dec 5, 2024 ID: 780
Dafny Locked
File

Summary: DafnyBench code number 757

978,969 lines Updated Dec 5, 2024 ID: 757
Lean Locked
File

Summary: Lean code number 16

25 lines Updated Dec 5, 2024 ID: 803
Load more Results