1709 results
Filter By
Language

Type

Status

1709 results

No ratings

Summary: Benchmark - LD0226_vericoded.lean

Lean 3 files

ID: 75141

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0621_vericoded.rs

Rust 2 files

ID: 76220

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0620_vericoded.rs

Rust 2 files

ID: 76218

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0225_vericoded.lean

Lean 3 files

ID: 75138

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0614_vericoded.rs

Rust 2 files

ID: 76216

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0612_vericoded.rs

Rust 2 files

ID: 76214

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0197_vericoded.lean

Lean 3 files

ID: 75135

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0611_vericoded.rs

Rust 2 files

ID: 76212

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0607_vericoded.rs

Rust 2 files

ID: 76210

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0187_vericoded.lean

Lean 3 files

ID: 75132

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0606_vericoded.rs

Rust 2 files

ID: 76208

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0590_vericoded.rs

Rust 2 files

ID: 76206

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0178_vericoded.lean

Lean 3 files

ID: 75129

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0589_vericoded.rs

Rust 2 files

ID: 76204

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0586_vericoded.rs

Rust 2 files

ID: 76202

Type: 🗄️

Verified:

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark

Published: 11/19/2025