Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 789

47 lines Updated Dec 5, 2024 ID: 1576
Lean Locked
File

Summary: Lean code number 766

23 lines Updated Dec 5, 2024 ID: 1553
Lean Locked
File

Summary: Lean code number 801

1,059 lines Updated Dec 5, 2024 ID: 1588
Lean Locked
File

Summary: Lean code number 778

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

Summary: Lean code number 788

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

Summary: Lean code number 765

45 lines Updated Dec 5, 2024 ID: 1552
Lean Locked
File

Summary: Lean code number 800

439 lines Updated Dec 5, 2024 ID: 1587
Lean Locked
File

Summary: Lean code number 777

54 lines Updated Dec 5, 2024 ID: 1564
Lean Locked
File

Summary: Lean code number 787

4 lines Updated Dec 5, 2024 ID: 1574
Lean Locked
File

Summary: Lean code number 764

584 lines Updated Dec 5, 2024 ID: 1551
Lean Locked
File

Summary: Lean code number 799

312 lines Updated Dec 5, 2024 ID: 1586
Lean Locked
File

Summary: Lean code number 776

171 lines Updated Dec 5, 2024 ID: 1563
Lean Locked
File

Summary: Lean code number 740

184 lines Updated Dec 5, 2024 ID: 1527
Lean Locked
File

Summary: Lean code number 717

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

Summary: Lean code number 752

20 lines Updated Dec 5, 2024 ID: 1539
Load more Results