Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 798

7 lines Updated Dec 5, 2024 ID: 1585
Lean Locked
File

Summary: Lean code number 775

848 lines Updated Dec 5, 2024 ID: 1562
Lean Locked
File

Summary: Lean code number 785

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

Summary: Lean code number 762

25 lines Updated Dec 5, 2024 ID: 1549
Lean Locked
File

Summary: Lean code number 797

93 lines Updated Dec 5, 2024 ID: 1584
Lean Locked
File

Summary: Lean code number 774

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

Summary: Lean code number 784

7 lines Updated Dec 5, 2024 ID: 1571
Lean Locked
File

Summary: Lean code number 761

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

Summary: Lean code number 796

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

Summary: Lean code number 773

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

Summary: Lean code number 783

718 lines Updated Dec 5, 2024 ID: 1570
Lean Locked
File

Summary: Lean code number 760

20 lines Updated Dec 5, 2024 ID: 1547
Lean Locked
File

Summary: Lean code number 795

41 lines Updated Dec 5, 2024 ID: 1582
Lean Locked
File

Summary: Lean code number 772

37 lines Updated Dec 5, 2024 ID: 1559
Lean Locked
File

Summary: Lean code number 782

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