Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 687

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

Summary: Lean code number 676

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

Summary: Lean code number 699

9 lines Updated Dec 5, 2024 ID: 1486
Lean Locked
File

Summary: Lean code number 709

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

Summary: Lean code number 686

30 lines Updated Dec 5, 2024 ID: 1473
Lean Locked
File

Summary: Lean code number 663

146 lines Updated Dec 5, 2024 ID: 1450
Lean Locked
File

Summary: Lean code number 698

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

Summary: Lean code number 675

260 lines Updated Dec 5, 2024 ID: 1462
Lean Locked
File

Summary: Lean code number 708

351 lines Updated Dec 5, 2024 ID: 1495
Lean Locked
File

Summary: Lean code number 685

70 lines Updated Dec 5, 2024 ID: 1472
Lean Locked
File

Summary: Lean code number 697

84 lines Updated Dec 5, 2024 ID: 1484
Lean Locked
File

Summary: Lean code number 674

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

Summary: Lean code number 707

336 lines Updated Dec 5, 2024 ID: 1494
Lean Locked
File

Summary: Lean code number 684

203 lines Updated Dec 5, 2024 ID: 1471
Lean Locked
File

Summary: Lean code number 696

18 lines Updated Dec 5, 2024 ID: 1483
Load more Results