Summary: Benchmark - LA0662_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0661_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0660_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0659_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0658_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0657_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0656_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0655_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0654_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0652_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0650_vericoded.lean
Lean 3 files
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0649_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0646_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0644_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0641_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
