Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 479

28 lines Updated Dec 5, 2024 ID: 1266
Lean Locked
File

Summary: Lean code number 468

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

Summary: Lean code number 512

22 lines Updated Dec 5, 2024 ID: 1299
Lean Locked
File

Summary: Lean code number 489

236 lines Updated Dec 5, 2024 ID: 1276
Lean Locked
File

Summary: Lean code number 466

6 lines Updated Dec 5, 2024 ID: 1253
Lean Locked
File

Summary: Lean code number 501

6 lines Updated Dec 5, 2024 ID: 1288
Lean Locked
File

Summary: Lean code number 478

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

Summary: Lean code number 511

338 lines Updated Dec 5, 2024 ID: 1298
Lean Locked
File

Summary: Lean code number 488

6 lines Updated Dec 5, 2024 ID: 1275
Lean Locked
File

Summary: Lean code number 500

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

Summary: Lean code number 477

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

Summary: Lean code number 510

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

Summary: Lean code number 487

489 lines Updated Dec 5, 2024 ID: 1274
Lean Locked
File

Summary: Lean code number 499

37 lines Updated Dec 5, 2024 ID: 1286
Lean Locked
File

Summary: Lean code number 476

135 lines Updated Dec 5, 2024 ID: 1263
Load more Results