Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 641

117 lines Updated Dec 5, 2024 ID: 1428
Lean Locked
File

Summary: Lean code number 630

361 lines Updated Dec 5, 2024 ID: 1417
Lean Locked
File

Summary: Lean code number 653

1 lines Updated Dec 5, 2024 ID: 1440
Lean Locked
File

Summary: Lean code number 619

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

Summary: Lean code number 617

54 lines Updated Dec 5, 2024 ID: 1404
Lean Locked
File

Summary: Lean code number 640

922 lines Updated Dec 5, 2024 ID: 1427
Lean Locked
File

Summary: Lean code number 629

1,087 lines Updated Dec 5, 2024 ID: 1416
Lean Locked
File

Summary: Lean code number 652

9 lines Updated Dec 5, 2024 ID: 1439
Lean Locked
File

Summary: Lean code number 618

129 lines Updated Dec 5, 2024 ID: 1405
Lean Locked
File

Summary: Lean code number 662

31 lines Updated Dec 5, 2024 ID: 1449
Lean Locked
File

Summary: Lean code number 639

354 lines Updated Dec 5, 2024 ID: 1426
Lean Locked
File

Summary: Lean code number 651

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

Summary: Lean code number 628

143 lines Updated Dec 5, 2024 ID: 1415
Lean Locked
File

Summary: Lean code number 661

43 lines Updated Dec 5, 2024 ID: 1448
Lean Locked
File

Summary: Lean code number 638

28 lines Updated Dec 5, 2024 ID: 1425
Load more Results