Summary: Benchmark - LA0048_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0048_vericoded.lean
Summary: Benchmark - LA0046_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0046_vericoded.lean
Summary: Benchmark - LA0044_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0044_vericoded.lean
Summary: Benchmark - LA0041_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0041_vericoded.lean
Summary: Benchmark - LA0040_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0040_vericoded.lean
Summary: Benchmark - LA0039_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0039_vericoded.lean
Summary: Benchmark - LA0036_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0036_vericoded.lean
Summary: Benchmark - LA0034_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0034_vericoded.lean
Summary: Benchmark - LA0033_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0033_vericoded.lean
Summary: Benchmark - LA0030_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0030_vericoded.lean
Summary: Benchmark - LA0026_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0026_vericoded.lean
Summary: Benchmark - LA0019_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0019_vericoded.lean
Summary: Benchmark - LA0018_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0018_vericoded.lean
Summary: Benchmark - LA0017_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0017_vericoded.lean
Summary: Benchmark - LA0012_vericoded.lean
Lean 15 lines
Type: 📄
Verified: ✅
Package: Benchmark - LA0012_vericoded.lean
