Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 870

19 lines Updated Dec 5, 2024 ID: 1657
Lean Locked
File

Summary: Lean code number 893

418 lines Updated Dec 5, 2024 ID: 1680
Lean Locked
File

Summary: Lean code number 891

215 lines Updated Dec 5, 2024 ID: 1678
Lean Locked
File

Summary: Lean code number 857

666 lines Updated Dec 5, 2024 ID: 1644
Lean Locked
File

Summary: Lean code number 880

371 lines Updated Dec 5, 2024 ID: 1667
Lean Locked
File

Summary: Lean code number 869

146 lines Updated Dec 5, 2024 ID: 1656
Lean Locked
File

Summary: Lean code number 890

492 lines Updated Dec 5, 2024 ID: 1677
Lean Locked
File

Summary: Lean code number 867

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

Summary: Lean code number 856

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

Summary: Lean code number 879

31 lines Updated Dec 5, 2024 ID: 1666
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 878

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

Summary: Lean code number 855

32 lines Updated Dec 5, 2024 ID: 1642
Load more Results