Summary: Benchmark - LA0030_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0030_vericoded.lean
Summary: Benchmark - LA0026_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0026_vericoded.lean
Summary: Benchmark - LA0019_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0019_vericoded.lean
Summary: Benchmark - LA0018_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0018_vericoded.lean
Summary: Benchmark - LA0017_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0017_vericoded.lean
Summary: Benchmark - LA0012_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0012_vericoded.lean
Summary: Benchmark - LA0252_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0252_vericoded.lean
Summary: Benchmark - LA0249_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0249_vericoded.lean
Summary: Benchmark - LA0247_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0247_vericoded.lean
Summary: Benchmark - LA0244_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0244_vericoded.lean
Summary: Benchmark - LA0243_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0243_vericoded.lean
Summary: Benchmark - LA0241_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0241_vericoded.lean
Summary: Benchmark - LA0234_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0234_vericoded.lean
Summary: Benchmark - LA0232_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0232_vericoded.lean
Summary: Benchmark - LA0231_vericoded.lean
Lean 15 lines
Verified: ✅
Package: Benchmark - LA0231_vericoded.lean
