Summary: Benchmark - VA0002_vericoded.rs
Rust 11 lines
Type: 📄
Verified: ✅
Package: Benchmark - VA0002_vericoded.rs
Summary: Benchmark - DA0010_vericoded.dfy
Dafny 71 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0010_vericoded.dfy
Summary: Benchmark - DA0009_vericoded.dfy
Dafny 132 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0009_vericoded.dfy
Summary: Benchmark - DA0008_vericoded.dfy
Dafny 61 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0008_vericoded.dfy
Summary: Benchmark - DA0007_vericoded.dfy
Dafny 176 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0007_vericoded.dfy
Summary: Benchmark - DA0005_vericoded.dfy
Dafny 82 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0005_vericoded.dfy
Summary: Benchmark - DA0004_vericoded.dfy
Dafny 34 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0004_vericoded.dfy
Summary: Benchmark - DA0003_vericoded.dfy
Dafny 38 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0003_vericoded.dfy
Summary: Benchmark - DA0002_vericoded.dfy
Dafny 59 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0002_vericoded.dfy
Summary: Benchmark - DA0001_vericoded.dfy
Dafny 72 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0001_vericoded.dfy
Summary: Benchmark - DA0000_vericoded.dfy
Dafny 120 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0000_vericoded.dfy
Summary: dalek-lite for Alex
Rust 82 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Summary: Lean test 20251015
Lean 4 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/vericoding-benchmark/tree/main/just_LB0052
Summary: Dafny_simple_sofia.dfy
Dafny 74 lines
Type: 📄
Verified: ✅
Package: Dafny_simple_sofia.dfy
Summary: SampCert
Lean 113 files
Type: 🗄️
Verified: ✅
