Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 291

135 lines Updated Dec 5, 2024 ID: 1078
Lean Locked
File

Summary: Lean code number 280

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

Summary: Lean code number 257

15 lines Updated Dec 5, 2024 ID: 1044
Lean Locked
File

Summary: Lean code number 292

590 lines Updated Dec 5, 2024 ID: 1079
Lean Locked
File

Summary: Lean code number 269

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

Summary: Lean code number 290

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

Summary: Lean code number 256

118 lines Updated Dec 5, 2024 ID: 1043
Lean Locked
File

Summary: Lean code number 279

230 lines Updated Dec 5, 2024 ID: 1066
Lean Locked
File

Summary: Lean code number 268

62 lines Updated Dec 5, 2024 ID: 1055
Lean Locked
File

Summary: Lean code number 289

245 lines Updated Dec 5, 2024 ID: 1076
Lean Locked
File

Summary: Lean code number 266

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

Summary: Lean code number 255

299 lines Updated Dec 5, 2024 ID: 1042
Lean Locked
File

Summary: Lean code number 278

9 lines Updated Dec 5, 2024 ID: 1065
Lean Locked
File

Summary: Lean code number 267

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

Summary: Lean code number 288

57 lines Updated Dec 5, 2024 ID: 1075
Load more Results