Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 589

88 lines Updated Dec 5, 2024 ID: 1376
Lean Locked
File

Summary: Lean code number 578

800 lines Updated Dec 5, 2024 ID: 1365
Lean Locked
File

Summary: Lean code number 601

117 lines Updated Dec 5, 2024 ID: 1388
Lean Locked
File

Summary: Lean code number 611

372 lines Updated Dec 5, 2024 ID: 1398
Lean Locked
File

Summary: Lean code number 588

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

Summary: Lean code number 600

39 lines Updated Dec 5, 2024 ID: 1387
Lean Locked
File

Summary: Lean code number 577

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

Summary: Lean code number 610

21 lines Updated Dec 5, 2024 ID: 1397
Lean Locked
File

Summary: Lean code number 587

125 lines Updated Dec 5, 2024 ID: 1374
Lean Locked
File

Summary: Lean code number 599

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

Summary: Lean code number 576

90 lines Updated Dec 5, 2024 ID: 1363
Lean Locked
File

Summary: Lean code number 609

202 lines Updated Dec 5, 2024 ID: 1396
Lean Locked
File

Summary: Lean code number 586

113 lines Updated Dec 5, 2024 ID: 1373
Lean Locked
File

Summary: Lean code number 598

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

Summary: Lean code number 575

278 lines Updated Dec 5, 2024 ID: 1362
Load more Results