Summary: Benchmark - LD0096_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Dalek Lean - Aeneas
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify
Summary: Benchmark - VD0749_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0136_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LS0029_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0513_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VD0589_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VT0574_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LJ0111_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0138_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LA0417_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VT0510_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0582_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - LD0590_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VJ0093_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: Benchmark - VA0506_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
