Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 553

198 lines Updated Dec 5, 2024 ID: 1340
Lean Locked
File

Summary: Lean code number 530

442 lines Updated Dec 5, 2024 ID: 1317
Lean Locked
File

Summary: Lean code number 519

35 lines Updated Dec 5, 2024 ID: 1306
Lean Locked
File

Summary: Lean code number 540

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

Summary: Lean code number 563

342 lines Updated Dec 5, 2024 ID: 1350
Lean Locked
File

Summary: Lean code number 552

28 lines Updated Dec 5, 2024 ID: 1339
Lean Locked
File

Summary: Lean code number 529

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

Summary: Lean code number 518

796 lines Updated Dec 5, 2024 ID: 1305
Lean Locked
File

Summary: Lean code number 562

87 lines Updated Dec 5, 2024 ID: 1349
Lean Locked
File

Summary: Lean code number 539

567 lines Updated Dec 5, 2024 ID: 1326
Lean Locked
File

Summary: Lean code number 528

56 lines Updated Dec 5, 2024 ID: 1315
Lean Locked
File

Summary: Lean code number 551

90 lines Updated Dec 5, 2024 ID: 1338
Lean Locked
File

Summary: Lean code number 561

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

Summary: Lean code number 538

53 lines Updated Dec 5, 2024 ID: 1325
Lean Locked
File

Summary: Lean code number 527

5 lines Updated Dec 5, 2024 ID: 1314
Load more Results