Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 950

707 lines Updated Dec 5, 2024 ID: 1737
Lean Locked
File

Summary: Lean code number 960

42 lines Updated Dec 5, 2024 ID: 1747
Lean Locked
File

Summary: Lean code number 983

439 lines Updated Dec 5, 2024 ID: 1770
Lean Locked
File

Summary: Lean code number 972

233 lines Updated Dec 5, 2024 ID: 1759
Lean Locked
File

Summary: Lean code number 949

72 lines Updated Dec 5, 2024 ID: 1736
Lean Locked
File

Summary: Lean code number 936

114 lines Updated Dec 5, 2024 ID: 1723
Lean Locked
File

Summary: Lean code number 913

116 lines Updated Dec 5, 2024 ID: 1700
Lean Locked
File

Summary: Lean code number 925

111 lines Updated Dec 5, 2024 ID: 1712
Lean Locked
File

Summary: Lean code number 902

101 lines Updated Dec 5, 2024 ID: 1689
Lean Locked
File

Summary: Lean code number 935

448 lines Updated Dec 5, 2024 ID: 1722
Lean Locked
File

Summary: Lean code number 912

57 lines Updated Dec 5, 2024 ID: 1699
Lean Locked
File

Summary: Lean code number 924

310 lines Updated Dec 5, 2024 ID: 1711
Lean Locked
File

Summary: Lean code number 901

891 lines Updated Dec 5, 2024 ID: 1688
Lean Locked
File

Summary: Lean code number 934

89 lines Updated Dec 5, 2024 ID: 1721
Lean Locked
File

Summary: Lean code number 911

65 lines Updated Dec 5, 2024 ID: 1698
Load more Results