Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 176

41 lines Updated Dec 5, 2024 ID: 963
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 142

84 lines Updated Dec 5, 2024 ID: 929
Lean Locked
File

Summary: Lean code number 163

186 lines Updated Dec 5, 2024 ID: 950
Lean Locked
File

Summary: Lean code number 186

83 lines Updated Dec 5, 2024 ID: 973
Lean Locked
File

Summary: Lean code number 139

424 lines Updated Dec 5, 2024 ID: 926
Lean Locked
File

Summary: Lean code number 152

152 lines Updated Dec 5, 2024 ID: 939
Lean Locked
File

Summary: Lean code number 175

105 lines Updated Dec 5, 2024 ID: 962
Lean Locked
File

Summary: Lean code number 185

19 lines Updated Dec 5, 2024 ID: 972
Lean Locked
File

Summary: Lean code number 162

203 lines Updated Dec 5, 2024 ID: 949
Lean Locked
File

Summary: Lean code number 138

155 lines Updated Dec 5, 2024 ID: 925
Lean Locked
File

Summary: Lean code number 151

88 lines Updated Dec 5, 2024 ID: 938
Lean Locked
File

Summary: Lean code number 174

251 lines Updated Dec 5, 2024 ID: 961
Lean Locked
File

Summary: Lean code number 184

279 lines Updated Dec 5, 2024 ID: 971
Load more Results