Summary: Benchmark - DA0008_vericoded.dfy
Dafny 61 lines
Verified: ✅
Package: Benchmark - DA0008_vericoded.dfy
Summary: Benchmark - DA0007_vericoded.dfy
Dafny 176 lines
Verified: ✅
Package: Benchmark - DA0007_vericoded.dfy
Summary: Benchmark - DA0005_vericoded.dfy
Dafny 82 lines
Verified: ✅
Package: Benchmark - DA0005_vericoded.dfy
Summary: Benchmark - DA0004_vericoded.dfy
Dafny 34 lines
Verified: ✅
Package: Benchmark - DA0004_vericoded.dfy
Summary: Benchmark - DA0003_vericoded.dfy
Dafny 38 lines
Verified: ✅
Package: Benchmark - DA0003_vericoded.dfy
Summary: Benchmark - DA0002_vericoded.dfy
Dafny 59 lines
Verified: ✅
Package: Benchmark - DA0002_vericoded.dfy
Summary: Benchmark - DA0001_vericoded.dfy
Dafny 72 lines
Verified: ✅
Package: Benchmark - DA0001_vericoded.dfy
Summary: Benchmark - DA0000_vericoded.dfy
Dafny 120 lines
Verified: ✅
Package: Benchmark - DA0000_vericoded.dfy
Summary: dalek-lite for Alex
Rust 82 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Summary: Lean test 20251015
Lean 4 files
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/vericoding-benchmark/tree/main/just_LB0052
Summary: libsignal focus on dalek_lite
Rust 745 files
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite
Summary: Dafny bignums, 20250612, 1109
Dafny 2124 lines
Verified: ❌
Package: Dafny bignums, 20250612, 1109
