Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 123

406 lines Updated Dec 5, 2024 ID: 910
Lean Locked
File

Summary: Lean code number 100

218 lines Updated Dec 5, 2024 ID: 887
Lean Locked
File

Summary: Lean code number 133

86 lines Updated Dec 5, 2024 ID: 920
Lean Locked
File

Summary: Lean code number 110

3 lines Updated Dec 5, 2024 ID: 897
Lean Locked
File

Summary: Lean code number 87

792 lines Updated Dec 5, 2024 ID: 874
Lean Locked
File

Summary: Lean code number 122

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

Summary: Lean code number 99

130 lines Updated Dec 5, 2024 ID: 886
Lean Locked
File

Summary: Lean code number 132

114 lines Updated Dec 5, 2024 ID: 919
Lean Locked
File

Summary: Lean code number 109

482 lines Updated Dec 5, 2024 ID: 896
Lean Locked
File

Summary: Lean code number 86

130 lines Updated Dec 5, 2024 ID: 873
Lean Locked
File

Summary: Lean code number 121

53 lines Updated Dec 5, 2024 ID: 908
Lean Locked
File

Summary: Lean code number 98

202 lines Updated Dec 5, 2024 ID: 885
Lean Locked
File

Summary: Lean code number 131

82 lines Updated Dec 5, 2024 ID: 918
Lean Locked
File

Summary: Lean code number 108

77 lines Updated Dec 5, 2024 ID: 895
Lean Locked
File

Summary: Lean code number 85

45 lines Updated Dec 5, 2024 ID: 872
Load more Results