The open-source library for

formally verified code

Showing 1711–1725 of 1,735
Sort by
Rust Locked
File Verified ✓

Summary: Benchmark - VA0009_vericoded.rs

Rust Locked
File Verified ✓

Summary: Benchmark - VA0003_vericoded.rs

Rust Locked
File Verified ✓

Summary: Benchmark - VA0002_vericoded.rs

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0010_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0009_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0008_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0007_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0005_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0004_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0003_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0002_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0001_vericoded.dfy

Dafny Locked
File Verified ✓

Summary: Benchmark - DA0000_vericoded.dfy

Rust Locked
Repo Verified ✓

Summary: dalek-lite for Alex

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

Lean Locked
Repo

Summary: Lean test 20251015

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