Summary: Benchmark - VD0432_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0072_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0040_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LA0364_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VD0112_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0469_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0019_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0066_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0453_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0405_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0141_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0028_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: curve25519-dalek-lean-verify — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify
Summary: Benchmark - LV0173_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0166_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0013_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
