Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 484

129 lines Updated Dec 5, 2024 ID: 1271
Lean Locked
File

Summary: Lean code number 496

7 lines Updated Dec 5, 2024 ID: 1283
Lean Locked
File

Summary: Lean code number 473

76 lines Updated Dec 5, 2024 ID: 1260
Lean Locked
File

Summary: Lean code number 517

33 lines Updated Dec 5, 2024 ID: 1304
Lean Locked
File

Summary: Lean code number 506

260 lines Updated Dec 5, 2024 ID: 1293
Lean Locked
File

Summary: Lean code number 483

26 lines Updated Dec 5, 2024 ID: 1270
Lean Locked
File

Summary: Lean code number 495

129 lines Updated Dec 5, 2024 ID: 1282
Lean Locked
File

Summary: Lean code number 472

303 lines Updated Dec 5, 2024 ID: 1259
Lean Locked
File

Summary: Lean code number 516

31 lines Updated Dec 5, 2024 ID: 1303
Lean Locked
File

Summary: Lean code number 505

138 lines Updated Dec 5, 2024 ID: 1292
Lean Locked
File

Summary: Lean code number 482

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

Summary: Lean code number 494

78 lines Updated Dec 5, 2024 ID: 1281
Lean Locked
File

Summary: Lean code number 471

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

Summary: Lean code number 515

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

Summary: Lean code number 492

1,380 lines Updated Dec 5, 2024 ID: 1279
Load more Results