Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 696

18 lines Updated Dec 5, 2024 ID: 1483
Lean Locked
File

Summary: Lean code number 673

168 lines Updated Dec 5, 2024 ID: 1460
Lean Locked
File

Summary: Lean code number 706

57 lines Updated Dec 5, 2024 ID: 1493
Lean Locked
File

Summary: Lean code number 683

80 lines Updated Dec 5, 2024 ID: 1470
Lean Locked
File

Summary: Lean code number 695

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

Summary: Lean code number 672

22 lines Updated Dec 5, 2024 ID: 1459
Lean Locked
File

Summary: Lean code number 682

55 lines Updated Dec 5, 2024 ID: 1469
Lean Locked
File

Summary: Lean code number 705

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

Summary: Lean code number 694

2 lines Updated Dec 5, 2024 ID: 1481
Lean Locked
File

Summary: Lean code number 671

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

Summary: Lean code number 692

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

Summary: Lean code number 681

43 lines Updated Dec 5, 2024 ID: 1468
Lean Locked
File

Summary: Lean code number 704

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

Summary: Lean code number 693

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

Summary: Lean code number 670

1,518 lines Updated Dec 5, 2024 ID: 1457
Load more Results