Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 290

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

Summary: Lean code number 279

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

Summary: Lean code number 256

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

Summary: Lean code number 268

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

Summary: Lean code number 266

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

Summary: Lean code number 289

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

Summary: Lean code number 278

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

Summary: Lean code number 255

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

Summary: Lean code number 267

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

Summary: Lean code number 265

520 lines Updated Dec 5, 2024 ID: 1052
Lean Locked
File

Summary: Lean code number 288

57 lines Updated Dec 5, 2024 ID: 1075
Lean Locked
File

Summary: Lean code number 277

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

Summary: Lean code number 254

73 lines Updated Dec 5, 2024 ID: 1041
Lean Locked
File

Summary: Lean code number 300

576 lines Updated Dec 5, 2024 ID: 1087
Lean Locked
File

Summary: Lean code number 287

61 lines Updated Dec 5, 2024 ID: 1074
Load more Results