Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 669

209 lines Updated Dec 5, 2024 ID: 1456
Lean Locked
File

Summary: Lean code number 667

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

Summary: Lean code number 690

77 lines Updated Dec 5, 2024 ID: 1477
Lean Locked
File

Summary: Lean code number 702

482 lines Updated Dec 5, 2024 ID: 1489
Lean Locked
File

Summary: Lean code number 679

246 lines Updated Dec 5, 2024 ID: 1466
Lean Locked
File

Summary: Lean code number 668

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

Summary: Lean code number 689

783 lines Updated Dec 5, 2024 ID: 1476
Lean Locked
File

Summary: Lean code number 666

49 lines Updated Dec 5, 2024 ID: 1453
Lean Locked
File

Summary: Lean code number 701

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

Summary: Lean code number 678

128 lines Updated Dec 5, 2024 ID: 1465
Lean Locked
File

Summary: Lean code number 688

23 lines Updated Dec 5, 2024 ID: 1475
Lean Locked
File

Summary: Lean code number 665

8 lines Updated Dec 5, 2024 ID: 1452
Lean Locked
File

Summary: Lean code number 700

109 lines Updated Dec 5, 2024 ID: 1487
Lean Locked
File

Summary: Lean code number 677

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

Summary: Lean code number 687

136 lines Updated Dec 5, 2024 ID: 1474
Load more Results