Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 338

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

Summary: Lean code number 314

136 lines Updated Dec 5, 2024 ID: 1101
Lean Locked
File

Summary: Lean code number 303

980 lines Updated Dec 5, 2024 ID: 1090
Lean Locked
File

Summary: Lean code number 350

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

Summary: Lean code number 326

71 lines Updated Dec 5, 2024 ID: 1113
Lean Locked
File

Summary: Lean code number 337

3 lines Updated Dec 5, 2024 ID: 1124
Lean Locked
File

Summary: Lean code number 313

118 lines Updated Dec 5, 2024 ID: 1100
Lean Locked
File

Summary: Lean code number 349

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

Summary: Lean code number 325

135 lines Updated Dec 5, 2024 ID: 1112
Lean Locked
File

Summary: Lean code number 302

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

Summary: Lean code number 336

97 lines Updated Dec 5, 2024 ID: 1123
Lean Locked
File

Summary: Lean code number 312

166 lines Updated Dec 5, 2024 ID: 1099
Lean Locked
File

Summary: Lean code number 348

424 lines Updated Dec 5, 2024 ID: 1135
Lean Locked
File

Summary: Lean code number 324

295 lines Updated Dec 5, 2024 ID: 1111
Lean Locked
File

Summary: Lean code number 301

980 lines Updated Dec 5, 2024 ID: 1088
Load more Results