Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 120

47 lines Updated Dec 5, 2024 ID: 907
Lean Locked
File

Summary: Lean code number 97

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

Summary: Lean code number 130

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

Summary: Lean code number 107

159 lines Updated Dec 5, 2024 ID: 894
Lean Locked
File

Summary: Lean code number 84

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

Summary: Lean code number 119

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

Summary: Lean code number 96

148 lines Updated Dec 5, 2024 ID: 883
Lean Locked
File

Summary: Lean code number 129

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

Summary: Lean code number 106

132 lines Updated Dec 5, 2024 ID: 893
Lean Locked
File

Summary: Lean code number 83

196 lines Updated Dec 5, 2024 ID: 870
Lean Locked
File

Summary: Lean code number 118

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

Summary: Lean code number 95

28 lines Updated Dec 5, 2024 ID: 882
Lean Locked
File

Summary: Lean code number 116

645 lines Updated Dec 5, 2024 ID: 903
Lean Locked
File

Summary: Lean code number 128

512 lines Updated Dec 5, 2024 ID: 915
Lean Locked
File

Summary: Lean code number 105

111 lines Updated Dec 5, 2024 ID: 892
Load more Results