Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Lean Locked
File

Summary: Lean code number 364

4 lines Updated Dec 5, 2024 ID: 1151
Lean Locked
File

Summary: Lean code number 399

23 lines Updated Dec 5, 2024 ID: 1186
Lean Locked
File

Summary: Lean code number 376

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

Summary: Lean code number 409

197 lines Updated Dec 5, 2024 ID: 1196
Lean Locked
File

Summary: Lean code number 386

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

Summary: Lean code number 363

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

Summary: Lean code number 398

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

Summary: Lean code number 375

89 lines Updated Dec 5, 2024 ID: 1162
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 362

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

Summary: Lean code number 397

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

Summary: Lean code number 374

8 lines Updated Dec 5, 2024 ID: 1161
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
Load more Results