1709 results
Filter By
Language

Type

Status

1709 results

No ratings

Summary: Benchmark - LJ0043_vericoded.lean

Lean 3 files

ID: 75534

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0081_vericoded.rs

Rust 2 files

ID: 76798

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0080_vericoded.rs

Rust 2 files

ID: 76796

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LJ0042_vericoded.lean

Lean 3 files

ID: 75531

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0079_vericoded.rs

Rust 2 files

ID: 76794

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0078_vericoded.rs

Rust 2 files

ID: 76792

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LJ0041_vericoded.lean

Lean 3 files

ID: 75528

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0077_vericoded.rs

Rust 2 files

ID: 76790

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0076_vericoded.rs

Rust 2 files

ID: 76788

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LJ0039_vericoded.lean

Lean 3 files

ID: 75525

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0075_vericoded.rs

Rust 2 files

ID: 76786

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0074_vericoded.rs

Rust 2 files

ID: 76784

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LJ0038_vericoded.lean

Lean 3 files

ID: 75522

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0073_vericoded.rs

Rust 2 files

ID: 76782

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VJ0072_vericoded.rs

Rust 2 files

ID: 76780

Type: 🗄️

Verified:

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

Published: 11/19/2025