Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 780

64 lines Updated Dec 5, 2024 ID: 1567
Lean Locked
File

Summary: Lean code number 769

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

Summary: Lean code number 790

271 lines Updated Dec 5, 2024 ID: 1577
Lean Locked
File

Summary: Lean code number 767

179 lines Updated Dec 5, 2024 ID: 1554
Lean Locked
File

Summary: Lean code number 802

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

Summary: Lean code number 779

16 lines Updated Dec 5, 2024 ID: 1566
Lean Locked
File

Summary: Lean code number 768

310 lines Updated Dec 5, 2024 ID: 1555
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
Load more Results