Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 389

10 lines Updated Dec 5, 2024 ID: 1176
Lean Locked
File

Summary: Lean code number 366

5 lines Updated Dec 5, 2024 ID: 1153
Lean Locked
File

Summary: Lean code number 401

123 lines Updated Dec 5, 2024 ID: 1188
Lean Locked
File

Summary: Lean code number 378

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

Summary: Lean code number 355

507 lines Updated Dec 5, 2024 ID: 1142
Lean Locked
File

Summary: Lean code number 388

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

Summary: Lean code number 365

479 lines Updated Dec 5, 2024 ID: 1152
Lean Locked
File

Summary: Lean code number 400

8 lines Updated Dec 5, 2024 ID: 1187
Lean Locked
File

Summary: Lean code number 377

349 lines Updated Dec 5, 2024 ID: 1164
Lean Locked
File

Summary: Lean code number 343

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

Summary: Lean code number 319

197 lines Updated Dec 5, 2024 ID: 1106
Lean Locked
File

Summary: Lean code number 341

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

Summary: Lean code number 353

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

Summary: Lean code number 330

266 lines Updated Dec 5, 2024 ID: 1117
Lean Locked
File

Summary: Lean code number 306

666 lines Updated Dec 5, 2024 ID: 1093
Load more Results