Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 406

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

Summary: Lean code number 395

168 lines Updated Dec 5, 2024 ID: 1182
Lean Locked
File

Summary: Lean code number 372

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

Summary: Lean code number 359

483 lines Updated Dec 5, 2024 ID: 1146
Lean Locked
File

Summary: Lean code number 405

62 lines Updated Dec 5, 2024 ID: 1192
Lean Locked
File

Summary: Lean code number 382

203 lines Updated Dec 5, 2024 ID: 1169
Lean Locked
File

Summary: Lean code number 371

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

Summary: Lean code number 394

263 lines Updated Dec 5, 2024 ID: 1181
Lean Locked
File

Summary: Lean code number 392

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

Summary: Lean code number 358

535 lines Updated Dec 5, 2024 ID: 1145
Lean Locked
File

Summary: Lean code number 404

264 lines Updated Dec 5, 2024 ID: 1191
Lean Locked
File

Summary: Lean code number 381

535 lines Updated Dec 5, 2024 ID: 1168
Lean Locked
File

Summary: Lean code number 370

107 lines Updated Dec 5, 2024 ID: 1157
Lean Locked
File

Summary: Lean code number 393

189 lines Updated Dec 5, 2024 ID: 1180
Lean Locked
File

Summary: Lean code number 391

18 lines Updated Dec 5, 2024 ID: 1178
Load more Results