Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 841

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

Summary: Lean code number 830

99 lines Updated Dec 5, 2024 ID: 1617
Lean Locked
File

Summary: Lean code number 807

392 lines Updated Dec 5, 2024 ID: 1594
Lean Locked
File

Summary: Lean code number 819

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

Summary: Lean code number 840

50 lines Updated Dec 5, 2024 ID: 1627
Lean Locked
File

Summary: Lean code number 817

538 lines Updated Dec 5, 2024 ID: 1604
Lean Locked
File

Summary: Lean code number 852

4 lines Updated Dec 5, 2024 ID: 1639
Lean Locked
File

Summary: Lean code number 829

330 lines Updated Dec 5, 2024 ID: 1616
Lean Locked
File

Summary: Lean code number 806

769 lines Updated Dec 5, 2024 ID: 1593
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 759

178 lines Updated Dec 5, 2024 ID: 1546
Lean Locked
File

Summary: Lean code number 782

3 lines Updated Dec 5, 2024 ID: 1569
Lean Locked
File

Summary: Lean code number 771

256 lines Updated Dec 5, 2024 ID: 1558
Lean Locked
File

Summary: Lean code number 794

10 lines Updated Dec 5, 2024 ID: 1581
Load more Results