Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 469

104 lines Updated Dec 5, 2024 ID: 1256
Lean Locked
File

Summary: Lean code number 490

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

Summary: Lean code number 467

203 lines Updated Dec 5, 2024 ID: 1254
Lean Locked
File

Summary: Lean code number 513

752 lines Updated Dec 5, 2024 ID: 1300
Lean Locked
File

Summary: Lean code number 502

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

Summary: Lean code number 479

28 lines Updated Dec 5, 2024 ID: 1266
Lean Locked
File

Summary: Lean code number 468

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

Summary: Lean code number 489

236 lines Updated Dec 5, 2024 ID: 1276
Lean Locked
File

Summary: Lean code number 466

6 lines Updated Dec 5, 2024 ID: 1253
Lean Locked
File

Summary: Lean code number 512

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

Summary: Lean code number 501

6 lines Updated Dec 5, 2024 ID: 1288
Lean Locked
File

Summary: Lean code number 478

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

Summary: Lean code number 488

6 lines Updated Dec 5, 2024 ID: 1275
Lean Locked
File

Summary: Lean code number 511

338 lines Updated Dec 5, 2024 ID: 1298
Lean Locked
File

Summary: Lean code number 477

2 lines Updated Dec 5, 2024 ID: 1264
Load more Results