Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 558

135 lines Updated Dec 5, 2024 ID: 1345
Lean Locked
File

Summary: Lean code number 535

24 lines Updated Dec 5, 2024 ID: 1322
Lean Locked
File

Summary: Lean code number 547

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

Summary: Lean code number 524

15 lines Updated Dec 5, 2024 ID: 1311
Lean Locked
File

Summary: Lean code number 557

131 lines Updated Dec 5, 2024 ID: 1344
Lean Locked
File

Summary: Lean code number 534

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

Summary: Lean code number 546

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

Summary: Lean code number 523

271 lines Updated Dec 5, 2024 ID: 1310
Lean Locked
File

Summary: Lean code number 567

13 lines Updated Dec 5, 2024 ID: 1354
Lean Locked
File

Summary: Lean code number 556

245 lines Updated Dec 5, 2024 ID: 1343
Lean Locked
File

Summary: Lean code number 533

101 lines Updated Dec 5, 2024 ID: 1320
Lean Locked
File

Summary: Lean code number 499

37 lines Updated Dec 5, 2024 ID: 1286
Lean Locked
File

Summary: Lean code number 476

135 lines Updated Dec 5, 2024 ID: 1263
Lean Locked
File

Summary: Lean code number 509

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

Summary: Lean code number 486

64 lines Updated Dec 5, 2024 ID: 1273
Load more Results