Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 251

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

Summary: Lean code number 284

177 lines Updated Dec 5, 2024 ID: 1071
Lean Locked
File

Summary: Lean code number 261

54 lines Updated Dec 5, 2024 ID: 1048
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 192

814 lines Updated Dec 5, 2024 ID: 979
Lean Locked
File

Summary: Lean code number 236

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

Summary: Lean code number 213

116 lines Updated Dec 5, 2024 ID: 1000
Lean Locked
File

Summary: Lean code number 190

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