Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 75

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

Summary: Lean code number 39

106 lines Updated Dec 5, 2024 ID: 826
Lean Locked
File

Summary: Lean code number 62

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

Summary: Lean code number 27

985 lines Updated Dec 5, 2024 ID: 814
Lean Locked
File

Summary: Lean code number 74

245 lines Updated Dec 5, 2024 ID: 861
Lean Locked
File

Summary: Lean code number 51

69 lines Updated Dec 5, 2024 ID: 838
Lean Locked
File

Summary: Lean code number 61

60 lines Updated Dec 5, 2024 ID: 848
Lean Locked
File

Summary: Lean code number 38

194 lines Updated Dec 5, 2024 ID: 825
Lean Locked
File

Summary: Lean code number 26

845 lines Updated Dec 5, 2024 ID: 813
Lean Locked
File

Summary: Lean code number 73

279 lines Updated Dec 5, 2024 ID: 860
Lean Locked
File

Summary: Lean code number 50

110 lines Updated Dec 5, 2024 ID: 837
Lean Locked
File

Summary: Lean code number 60

25 lines Updated Dec 5, 2024 ID: 847
Lean Locked
File

Summary: Lean code number 37

72 lines Updated Dec 5, 2024 ID: 824
Lean Locked
File

Summary: Lean code number 25

262 lines Updated Dec 5, 2024 ID: 812
Lean Locked
File

Summary: Lean code number 72

30 lines Updated Dec 5, 2024 ID: 859
Load more Results