Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 197

18 lines Updated Dec 5, 2024 ID: 984
Lean Locked
File

Summary: Lean code number 241

41 lines Updated Dec 5, 2024 ID: 1028
Lean Locked
File

Summary: Lean code number 230

5 lines Updated Dec 5, 2024 ID: 1017
Lean Locked
File

Summary: Lean code number 207

160 lines Updated Dec 5, 2024 ID: 994
Lean Locked
File

Summary: Lean code number 242

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

Summary: Lean code number 219

535 lines Updated Dec 5, 2024 ID: 1006
Lean Locked
File

Summary: Lean code number 196

385 lines Updated Dec 5, 2024 ID: 983
Lean Locked
File

Summary: Lean code number 240

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

Summary: Lean code number 183

30 lines Updated Dec 5, 2024 ID: 970
Lean Locked
File

Summary: Lean code number 160

214 lines Updated Dec 5, 2024 ID: 947
Lean Locked
File

Summary: Lean code number 172

46 lines Updated Dec 5, 2024 ID: 959
Lean Locked
File

Summary: Lean code number 149

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

Summary: Lean code number 182

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

Summary: Lean code number 159

194 lines Updated Dec 5, 2024 ID: 946
Lean Locked
File

Summary: Lean code number 171

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