Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 182

292 lines Updated Dec 5, 2024 ID: 969
Lean Locked
File

Summary: Lean code number 159

194 lines Updated Dec 5, 2024 ID: 946
Lean Locked
File

Summary: Lean code number 171

25 lines Updated Dec 5, 2024 ID: 958
Lean Locked
File

Summary: Lean code number 148

55 lines Updated Dec 5, 2024 ID: 935
Lean Locked
File

Summary: Lean code number 181

31 lines Updated Dec 5, 2024 ID: 968
Lean Locked
File

Summary: Lean code number 158

718 lines Updated Dec 5, 2024 ID: 945
Lean Locked
File

Summary: Lean code number 170

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

Summary: Lean code number 147

317 lines Updated Dec 5, 2024 ID: 934
Lean Locked
File

Summary: Lean code number 180

66 lines Updated Dec 5, 2024 ID: 967
Lean Locked
File

Summary: Lean code number 157

422 lines Updated Dec 5, 2024 ID: 944
Lean Locked
File

Summary: Lean code number 169

45 lines Updated Dec 5, 2024 ID: 956
Lean Locked
File

Summary: Lean code number 146

407 lines Updated Dec 5, 2024 ID: 933
Lean Locked
File

Summary: Lean code number 179

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

Summary: Lean code number 156

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

Summary: Lean code number 168

5 lines Updated Dec 5, 2024 ID: 955
Load more Results