Summary: Benchmark - LV0073_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0069_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0065_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0064_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0062_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0059_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0058_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0040_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0018_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0006_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0005_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LT0661_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LT0651_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LT0574_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LT0561_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LT0529_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
