Summary: Benchmark - LS0037_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0036_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0035_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0032_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0031_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0030_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0029_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0028_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0027_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0026_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0024_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0023_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0022_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0020_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0018_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LS0013_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
