Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 326

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

Summary: Lean code number 303

980 lines Updated Dec 5, 2024 ID: 1090
Lean Locked
File

Summary: Lean code number 337

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

Summary: Lean code number 313

118 lines Updated Dec 5, 2024 ID: 1100
Lean Locked
File

Summary: Lean code number 349

15 lines Updated Dec 5, 2024 ID: 1136
Lean Locked
File

Summary: Lean code number 325

135 lines Updated Dec 5, 2024 ID: 1112
Lean Locked
File

Summary: Lean code number 302

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

Summary: Lean code number 336

97 lines Updated Dec 5, 2024 ID: 1123
Lean Locked
File

Summary: Lean code number 312

166 lines Updated Dec 5, 2024 ID: 1099
Lean Locked
File

Summary: Lean code number 348

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

Summary: Lean code number 324

295 lines Updated Dec 5, 2024 ID: 1111
Lean Locked
File

Summary: Lean code number 301

980 lines Updated Dec 5, 2024 ID: 1088
Lean Locked
File

Summary: Lean code number 311

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

Summary: Lean code number 335

121 lines Updated Dec 5, 2024 ID: 1122
Lean Locked
File

Summary: Lean code number 323

129 lines Updated Dec 5, 2024 ID: 1110
Load more Results