Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 416

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

Summary: Lean code number 451

79 lines Updated Dec 5, 2024 ID: 1238
Lean Locked
File

Summary: Lean code number 428

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

Summary: Lean code number 461

4 lines Updated Dec 5, 2024 ID: 1248
Lean Locked
File

Summary: Lean code number 438

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

Summary: Lean code number 415

644 lines Updated Dec 5, 2024 ID: 1202
Lean Locked
File

Summary: Lean code number 450

49 lines Updated Dec 5, 2024 ID: 1237
Lean Locked
File

Summary: Lean code number 427

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

Summary: Lean code number 460

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

Summary: Lean code number 437

44 lines Updated Dec 5, 2024 ID: 1224
Lean Locked
File

Summary: Lean code number 414

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

Summary: Lean code number 449

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

Summary: Lean code number 426

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

Summary: Lean code number 390

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

Summary: Lean code number 367

29 lines Updated Dec 5, 2024 ID: 1154
Load more Results