Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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 729

292 lines Updated Dec 5, 2024 ID: 1516
Lean Locked
File

Summary: Lean code number 752

20 lines Updated Dec 5, 2024 ID: 1539
Lean Locked
File

Summary: Lean code number 718

621 lines Updated Dec 5, 2024 ID: 1505
Lean Locked
File

Summary: Lean code number 716

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

Summary: Lean code number 739

19 lines Updated Dec 5, 2024 ID: 1526
Lean Locked
File

Summary: Lean code number 728

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

Summary: Lean code number 751

40 lines Updated Dec 5, 2024 ID: 1538
Lean Locked
File

Summary: Lean code number 715

19 lines Updated Dec 5, 2024 ID: 1502
Lean Locked
File

Summary: Lean code number 738

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

Summary: Lean code number 727

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

Summary: Lean code number 750

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