Upload Code

The open-source library for

formally verified code

Showing 1531–1545 of 1,737
Sort by
Lean Locked
File Verified ✓

Summary: Benchmark - LA0044_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3376
Lean Locked
File Verified ✓

Summary: Benchmark - LA0041_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3375
Lean Locked
File Verified ✓

Summary: Benchmark - LA0040_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3374
Lean Locked
File Verified ✓

Summary: Benchmark - LA0039_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3373
Lean Locked
File Verified ✓

Summary: Benchmark - LA0036_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3372
Lean Locked
File Verified ✓

Summary: Benchmark - LA0034_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3371
Lean Locked
File Verified ✓

Summary: Benchmark - LA0033_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3370
Lean Locked
File Verified ✓

Summary: Benchmark - LA0030_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3369
Lean Locked
File Verified ✓

Summary: Benchmark - LA0026_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3368
Lean Locked
File Verified ✓

Summary: Benchmark - LA0019_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3367
Lean Locked
File Verified ✓

Summary: Benchmark - LA0018_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3366
Lean Locked
File Verified ✓

Summary: Benchmark - LA0017_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3365
Lean Locked
File Verified ✓

Summary: Benchmark - LA0012_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3364
Lean Locked
File Verified ✓

Summary: Benchmark - LA0252_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3462
Lean Locked
File Verified ✓

Summary: Benchmark - LA0249_vericoded.lean

15 lines Updated Oct 22, 2025 ID: 3461