Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 178

286 lines Updated Dec 5, 2024 ID: 965
Lean Locked
File

Summary: Lean code number 155

71 lines Updated Dec 5, 2024 ID: 942
Lean Locked
File

Summary: Lean code number 167

172 lines Updated Dec 5, 2024 ID: 954
Lean Locked
File

Summary: Lean code number 144

79 lines Updated Dec 5, 2024 ID: 931
Lean Locked
File

Summary: Lean code number 165

2 lines Updated Dec 5, 2024 ID: 952
Lean Locked
File

Summary: Lean code number 188

2 lines Updated Dec 5, 2024 ID: 975
Lean Locked
File

Summary: Lean code number 141

202 lines Updated Dec 5, 2024 ID: 928
Lean Locked
File

Summary: Lean code number 154

98 lines Updated Dec 5, 2024 ID: 941
Lean Locked
File

Summary: Lean code number 177

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

Summary: Lean code number 143

299 lines Updated Dec 5, 2024 ID: 930
Lean Locked
File

Summary: Lean code number 187

37 lines Updated Dec 5, 2024 ID: 974
Lean Locked
File

Summary: Lean code number 164

112 lines Updated Dec 5, 2024 ID: 951
Lean Locked
File

Summary: Lean code number 140

300 lines Updated Dec 5, 2024 ID: 927
Lean Locked
File

Summary: Lean code number 153

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

Summary: Lean code number 176

41 lines Updated Dec 5, 2024 ID: 963
Load more Results