Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
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 296

275 lines Updated Dec 5, 2024 ID: 1083
Lean Locked
File

Summary: Lean code number 273

66 lines Updated Dec 5, 2024 ID: 1060
Lean Locked
File

Summary: Lean code number 250

32 lines Updated Dec 5, 2024 ID: 1037
Lean Locked
File

Summary: Lean code number 260

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

Summary: Lean code number 283

567 lines Updated Dec 5, 2024 ID: 1070
Lean Locked
File

Summary: Lean code number 272

632 lines Updated Dec 5, 2024 ID: 1059
Lean Locked
File

Summary: Lean code number 249

359 lines Updated Dec 5, 2024 ID: 1036
Lean Locked
File

Summary: Lean code number 295

84 lines Updated Dec 5, 2024 ID: 1082
Lean Locked
File

Summary: Lean code number 259

128 lines Updated Dec 5, 2024 ID: 1046
Lean Locked
File

Summary: Lean code number 282

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

Summary: Lean code number 271

21 lines Updated Dec 5, 2024 ID: 1058
Lean Locked
File

Summary: Lean code number 248

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

Summary: Lean code number 294

3 lines Updated Dec 5, 2024 ID: 1081
Load more Results