Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 839

190 lines Updated Dec 5, 2024 ID: 1626
Lean Locked
File

Summary: Lean code number 816

32 lines Updated Dec 5, 2024 ID: 1603
Lean Locked
File

Summary: Lean code number 851

387 lines Updated Dec 5, 2024 ID: 1638
Lean Locked
File

Summary: Lean code number 828

214 lines Updated Dec 5, 2024 ID: 1615
Lean Locked
File

Summary: Lean code number 805

30 lines Updated Dec 5, 2024 ID: 1592
Lean Locked
File

Summary: Lean code number 838

46 lines Updated Dec 5, 2024 ID: 1625
Lean Locked
File

Summary: Lean code number 815

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

Summary: Lean code number 850

96 lines Updated Dec 5, 2024 ID: 1637
Lean Locked
File

Summary: Lean code number 827

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

Summary: Lean code number 837

980 lines Updated Dec 5, 2024 ID: 1624
Lean Locked
File

Summary: Lean code number 814

12 lines Updated Dec 5, 2024 ID: 1601
Lean Locked
File

Summary: Lean code number 849

44 lines Updated Dec 5, 2024 ID: 1636
Lean Locked
File

Summary: Lean code number 826

320 lines Updated Dec 5, 2024 ID: 1613
Lean Locked
File

Summary: Lean code number 836

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

Summary: Lean code number 813

195 lines Updated Dec 5, 2024 ID: 1600
Load more Results