Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 500

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

Summary: Lean code number 510

11 lines Updated Dec 5, 2024 ID: 1297
Lean Locked
File

Summary: Lean code number 487

489 lines Updated Dec 5, 2024 ID: 1274
Lean Locked
File

Summary: Lean code number 453

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

Summary: Lean code number 442

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

Summary: Lean code number 431

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

Summary: Lean code number 463

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

Summary: Lean code number 420

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

Summary: Lean code number 452

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

Summary: Lean code number 441

79 lines Updated Dec 5, 2024 ID: 1228
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 462

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

Summary: Lean code number 451

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

Summary: Lean code number 440

30 lines Updated Dec 5, 2024 ID: 1227
Load more Results