Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 386

94 lines Updated Dec 5, 2024 ID: 1173
Lean Locked
File

Summary: Lean code number 375

89 lines Updated Dec 5, 2024 ID: 1162
Lean Locked
File

Summary: Lean code number 398

52 lines Updated Dec 5, 2024 ID: 1185
Lean Locked
File

Summary: Lean code number 362

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

Summary: Lean code number 408

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

Summary: Lean code number 385

14 lines Updated Dec 5, 2024 ID: 1172
Lean Locked
File

Summary: Lean code number 374

8 lines Updated Dec 5, 2024 ID: 1161
Lean Locked
File

Summary: Lean code number 397

69 lines Updated Dec 5, 2024 ID: 1184
Lean Locked
File

Summary: Lean code number 361

87 lines Updated Dec 5, 2024 ID: 1148
Lean Locked
File

Summary: Lean code number 407

16 lines Updated Dec 5, 2024 ID: 1194
Lean Locked
File

Summary: Lean code number 384

28 lines Updated Dec 5, 2024 ID: 1171
Lean Locked
File

Summary: Lean code number 396

468 lines Updated Dec 5, 2024 ID: 1183
Lean Locked
File

Summary: Lean code number 373

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

Summary: Lean code number 406

7 lines Updated Dec 5, 2024 ID: 1193
Lean Locked
File

Summary: Lean code number 383

98 lines Updated Dec 5, 2024 ID: 1170
Load more Results