Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 573

380 lines Updated Dec 5, 2024 ID: 1360
Lean Locked
File

Summary: Lean code number 606

18 lines Updated Dec 5, 2024 ID: 1393
Lean Locked
File

Summary: Lean code number 583

496 lines Updated Dec 5, 2024 ID: 1370
Lean Locked
File

Summary: Lean code number 595

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

Summary: Lean code number 572

201 lines Updated Dec 5, 2024 ID: 1359
Lean Locked
File

Summary: Lean code number 616

141 lines Updated Dec 5, 2024 ID: 1403
Lean Locked
File

Summary: Lean code number 536

119 lines Updated Dec 5, 2024 ID: 1323
Lean Locked
File

Summary: Lean code number 559

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

Summary: Lean code number 525

38 lines Updated Dec 5, 2024 ID: 1312
Lean Locked
File

Summary: Lean code number 548

160 lines Updated Dec 5, 2024 ID: 1335
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 524

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

Summary: Lean code number 547

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

Summary: Lean code number 557

131 lines Updated Dec 5, 2024 ID: 1344
Load more Results