Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 200

223 lines Updated Dec 5, 2024 ID: 987
Lean Locked
File

Summary: Lean code number 233

18 lines Updated Dec 5, 2024 ID: 1020
Lean Locked
File

Summary: Lean code number 210

10 lines Updated Dec 5, 2024 ID: 997
Lean Locked
File

Summary: Lean code number 245

23 lines Updated Dec 5, 2024 ID: 1032
Lean Locked
File

Summary: Lean code number 222

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

Summary: Lean code number 199

15 lines Updated Dec 5, 2024 ID: 986
Lean Locked
File

Summary: Lean code number 232

565 lines Updated Dec 5, 2024 ID: 1019
Lean Locked
File

Summary: Lean code number 209

29 lines Updated Dec 5, 2024 ID: 996
Lean Locked
File

Summary: Lean code number 244

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

Summary: Lean code number 221

2 lines Updated Dec 5, 2024 ID: 1008
Lean Locked
File

Summary: Lean code number 198

482 lines Updated Dec 5, 2024 ID: 985
Lean Locked
File

Summary: Lean code number 231

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

Summary: Lean code number 208

30 lines Updated Dec 5, 2024 ID: 995
Lean Locked
File

Summary: Lean code number 243

109 lines Updated Dec 5, 2024 ID: 1030
Lean Locked
File

Summary: Lean code number 220

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