Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 63

8 lines Updated Dec 5, 2024 ID: 850
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 37

72 lines Updated Dec 5, 2024 ID: 824
Lean Locked
File

Summary: Lean code number 25

262 lines Updated Dec 5, 2024 ID: 812
Lean Locked
File

Summary: Lean code number 62

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

Summary: Lean code number 74

245 lines Updated Dec 5, 2024 ID: 861
Lean Locked
File

Summary: Lean code number 51

69 lines Updated Dec 5, 2024 ID: 838
Lean Locked
File

Summary: Lean code number 36

3 lines Updated Dec 5, 2024 ID: 823
Lean Locked
File

Summary: Lean code number 24

129 lines Updated Dec 5, 2024 ID: 811
Lean Locked
File

Summary: Lean code number 61

60 lines Updated Dec 5, 2024 ID: 848
Lean Locked
File

Summary: Lean code number 73

279 lines Updated Dec 5, 2024 ID: 860
Lean Locked
File

Summary: Lean code number 50

110 lines Updated Dec 5, 2024 ID: 837
Lean Locked
File

Summary: Lean code number 35

236 lines Updated Dec 5, 2024 ID: 822
Lean Locked
File

Summary: Lean code number 23

9 lines Updated Dec 5, 2024 ID: 810
Load more Results