Summary: Benchmark - LA0356_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VD0101_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0468_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0018_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0065_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0403_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0451_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0138_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0027_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Dalek Verus Latest — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: Benchmark - LV0172_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0165_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0012_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VV0171_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VD0668_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0126_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
