Summary: Benchmark - LD0094_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Dalek Verus — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: Benchmark - VD0747_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LS0028_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0135_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LA0511_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VD0588_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0573_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0108_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0137_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LA0411_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0508_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0580_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0588_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0092_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0503_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
