Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 136

8 lines Updated Dec 5, 2024 ID: 923
Lean Locked
File

Summary: Lean code number 113

80 lines Updated Dec 5, 2024 ID: 900
Lean Locked
File

Summary: Lean code number 90

5 lines Updated Dec 5, 2024 ID: 877
Lean Locked
File

Summary: Lean code number 125

11 lines Updated Dec 5, 2024 ID: 912
Lean Locked
File

Summary: Lean code number 102

648 lines Updated Dec 5, 2024 ID: 889
Lean Locked
File

Summary: Lean code number 135

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

Summary: Lean code number 112

43 lines Updated Dec 5, 2024 ID: 899
Lean Locked
File

Summary: Lean code number 89

88 lines Updated Dec 5, 2024 ID: 876
Lean Locked
File

Summary: Lean code number 124

74 lines Updated Dec 5, 2024 ID: 911
Lean Locked
File

Summary: Lean code number 101

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

Summary: Lean code number 134

5 lines Updated Dec 5, 2024 ID: 921
Lean Locked
File

Summary: Lean code number 111

475 lines Updated Dec 5, 2024 ID: 898
Lean Locked
File

Summary: Lean code number 88

438 lines Updated Dec 5, 2024 ID: 875
Lean Locked
File

Summary: Lean code number 31

38 lines Updated Dec 5, 2024 ID: 818
Lean Locked
File

Summary: Lean code number 77

462 lines Updated Dec 5, 2024 ID: 864
Load more Results