Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 867

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

Summary: Lean code number 879

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

Summary: Lean code number 856

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

Summary: Lean code number 868

21 lines Updated Dec 5, 2024 ID: 1655
Lean Locked
File

Summary: Lean code number 889

2 lines Updated Dec 5, 2024 ID: 1676
Lean Locked
File

Summary: Lean code number 866

126 lines Updated Dec 5, 2024 ID: 1653
Lean Locked
File

Summary: Lean code number 809

471 lines Updated Dec 5, 2024 ID: 1596
Lean Locked
File

Summary: Lean code number 832

404 lines Updated Dec 5, 2024 ID: 1619
Lean Locked
File

Summary: Lean code number 821

17 lines Updated Dec 5, 2024 ID: 1608
Lean Locked
File

Summary: Lean code number 844

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

Summary: Lean code number 842

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

Summary: Lean code number 808

156 lines Updated Dec 5, 2024 ID: 1595
Lean Locked
File

Summary: Lean code number 831

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

Summary: Lean code number 820

557 lines Updated Dec 5, 2024 ID: 1607
Lean Locked
File

Summary: Lean code number 843

1 lines Updated Dec 5, 2024 ID: 1630
Load more Results