Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 346

306 lines Updated Dec 5, 2024 ID: 1133
Lean Locked
File

Summary: Lean code number 322

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

Summary: Lean code number 333

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

Summary: Lean code number 309

172 lines Updated Dec 5, 2024 ID: 1096
Lean Locked
File

Summary: Lean code number 345

40 lines Updated Dec 5, 2024 ID: 1132
Lean Locked
File

Summary: Lean code number 321

298 lines Updated Dec 5, 2024 ID: 1108
Lean Locked
File

Summary: Lean code number 332

12 lines Updated Dec 5, 2024 ID: 1119
Lean Locked
File

Summary: Lean code number 308

351 lines Updated Dec 5, 2024 ID: 1095
Lean Locked
File

Summary: Lean code number 344

190 lines Updated Dec 5, 2024 ID: 1131
Lean Locked
File

Summary: Lean code number 320

29 lines Updated Dec 5, 2024 ID: 1107
Lean Locked
File

Summary: Lean code number 342

50 lines Updated Dec 5, 2024 ID: 1129
Lean Locked
File

Summary: Lean code number 354

86 lines Updated Dec 5, 2024 ID: 1141
Lean Locked
File

Summary: Lean code number 331

237 lines Updated Dec 5, 2024 ID: 1118
Lean Locked
File

Summary: Lean code number 307

64 lines Updated Dec 5, 2024 ID: 1094
Lean Locked
File

Summary: Lean code number 343

1,518 lines Updated Dec 5, 2024 ID: 1130
Load more Results