Summary: Benchmark - LA0404_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0403_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0399_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0397_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0396_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0388_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0383_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0375_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0374_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0372_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0369_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0368_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0367_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0364_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0356_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
