Summary: Benchmark - LD0355_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0342_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0335_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0331_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0311_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0282_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0280_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0276_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0268_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0235_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0226_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0225_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0197_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0187_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0178_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0170_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
