Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 420

162 lines Updated Dec 5, 2024 ID: 1207
Lean Locked
File

Summary: Lean code number 443

197 lines Updated Dec 5, 2024 ID: 1230
Lean Locked
File

Summary: Lean code number 464

13 lines Updated Dec 5, 2024 ID: 1251
Lean Locked
File

Summary: Lean code number 441

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

Summary: Lean code number 453

373 lines Updated Dec 5, 2024 ID: 1240
Lean Locked
File

Summary: Lean code number 430

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

Summary: Lean code number 419

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

Summary: Lean code number 463

102 lines Updated Dec 5, 2024 ID: 1250
Lean Locked
File

Summary: Lean code number 440

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

Summary: Lean code number 417

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

Summary: Lean code number 452

10 lines Updated Dec 5, 2024 ID: 1239
Lean Locked
File

Summary: Lean code number 429

27 lines Updated Dec 5, 2024 ID: 1216
Lean Locked
File

Summary: Lean code number 418

82 lines Updated Dec 5, 2024 ID: 1205
Lean Locked
File

Summary: Lean code number 462

86 lines Updated Dec 5, 2024 ID: 1249
Lean Locked
File

Summary: Lean code number 439

3 lines Updated Dec 5, 2024 ID: 1226
Load more Results