Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 457

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

Summary: Lean code number 446

2 lines Updated Dec 5, 2024 ID: 1233
Lean Locked
File

Summary: Lean code number 423

297 lines Updated Dec 5, 2024 ID: 1210
Lean Locked
File

Summary: Lean code number 433

25 lines Updated Dec 5, 2024 ID: 1220
Lean Locked
File

Summary: Lean code number 456

105 lines Updated Dec 5, 2024 ID: 1243
Lean Locked
File

Summary: Lean code number 445

42 lines Updated Dec 5, 2024 ID: 1232
Lean Locked
File

Summary: Lean code number 422

153 lines Updated Dec 5, 2024 ID: 1209
Lean Locked
File

Summary: Lean code number 432

91 lines Updated Dec 5, 2024 ID: 1219
Lean Locked
File

Summary: Lean code number 455

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

Summary: Lean code number 421

35 lines Updated Dec 5, 2024 ID: 1208
Lean Locked
File

Summary: Lean code number 444

783 lines Updated Dec 5, 2024 ID: 1231
Lean Locked
File

Summary: Lean code number 465

43 lines Updated Dec 5, 2024 ID: 1252
Lean Locked
File

Summary: Lean code number 442

30 lines Updated Dec 5, 2024 ID: 1229
Lean Locked
File

Summary: Lean code number 454

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

Summary: Lean code number 431

5 lines Updated Dec 5, 2024 ID: 1218
Load more Results