Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 727

234 lines Updated Dec 5, 2024 ID: 1514
Lean Locked
File

Summary: Lean code number 737

15 lines Updated Dec 5, 2024 ID: 1524
Lean Locked
File

Summary: Lean code number 714

35 lines Updated Dec 5, 2024 ID: 1501
Lean Locked
File

Summary: Lean code number 749

62 lines Updated Dec 5, 2024 ID: 1536
Lean Locked
File

Summary: Lean code number 726

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

Summary: Lean code number 736

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

Summary: Lean code number 713

49 lines Updated Dec 5, 2024 ID: 1500
Lean Locked
File

Summary: Lean code number 748

51 lines Updated Dec 5, 2024 ID: 1535
Lean Locked
File

Summary: Lean code number 725

49 lines Updated Dec 5, 2024 ID: 1512
Lean Locked
File

Summary: Lean code number 735

12 lines Updated Dec 5, 2024 ID: 1522
Lean Locked
File

Summary: Lean code number 712

151 lines Updated Dec 5, 2024 ID: 1499
Lean Locked
File

Summary: Lean code number 747

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

Summary: Lean code number 724

136 lines Updated Dec 5, 2024 ID: 1511
Lean Locked
File

Summary: Lean code number 734

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

Summary: Lean code number 711

62 lines Updated Dec 5, 2024 ID: 1498
Load more Results