Summary: Benchmark - LA0288_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0282_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0278_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0277_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0268_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0266_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0256_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LA0255_vericoded.lean
Lean 3 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Dafny_simple_sofia.dfy
Dafny 75 lines
Type: 📄
Verified: ✅
Package: Dafny_simple_sofia.dfy
Summary: Rust_VB0011_vericoded
Rust 124 lines
Type: 📄
Verified: ❌
Package: Rust_VB0011_vericoded
Summary: Benchmark - DA0113_vericoded.dfy
Dafny 68 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0113_vericoded.dfy
Summary: Benchmark - DA0110_vericoded.dfy
Dafny 46 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0110_vericoded.dfy
Summary: Benchmark - DA0111_vericoded.dfy
Dafny 74 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0111_vericoded.dfy
Summary: Benchmark - DA0108_vericoded.dfy
Dafny 59 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0108_vericoded.dfy
