Summary: Benchmark - VT0517_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0051_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0100_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0516_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0455_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LA0327_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LD0369_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0053_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0417_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0211_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
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
