Summary: Benchmark - DA0005_vericoded.dfy

Summary: Benchmark - DA0004_vericoded.dfy

Summary: Benchmark - DA0003_vericoded.dfy

Summary: Benchmark - DA0002_vericoded.dfy

Summary: Benchmark - DA0001_vericoded.dfy

Summary: Benchmark - DA0000_vericoded.dfy

Summary: dalek-lite for Alex

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Summary: Lean test 20251015

Repo: https://github.com/Beneficial-AI-Foundation/vericoding-benchmark/tree/main/just_LB0052

Summary: SampCert

Repo: https://github.com/leanprover/SampCert

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

Summary: A test

Summary: Dafny Bignums

Summary: Dafny bignums, 20250612, 1109

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

Summary: Rust Signal Github Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust