Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 648

659 lines Updated Dec 5, 2024 ID: 1435
Lean Locked
File

Summary: Lean code number 625

147 lines Updated Dec 5, 2024 ID: 1412
Lean Locked
File

Summary: Lean code number 568

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

Summary: Lean code number 589

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

Summary: Lean code number 612

27 lines Updated Dec 5, 2024 ID: 1399
Lean Locked
File

Summary: Lean code number 601

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

Summary: Lean code number 578

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

Summary: Lean code number 588

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

Summary: Lean code number 611

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

Summary: Lean code number 577

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

Summary: Lean code number 600

39 lines Updated Dec 5, 2024 ID: 1387
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 576

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

Summary: Lean code number 599

11 lines Updated Dec 5, 2024 ID: 1386
Load more Results