1709 results
Filter By
Language

Type

Status

1709 results

No ratings

Summary: Benchmark - VA0416_vericoded.rs

Rust 2 files

ID: 76082

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0412_vericoded.rs

Rust 2 files

ID: 76080

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0053_vericoded.lean

Lean 3 files

ID: 75033

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0411_vericoded.rs

Rust 2 files

ID: 76078

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0052_vericoded.lean

Lean 3 files

ID: 75030

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0410_vericoded.rs

Rust 2 files

ID: 76076

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0048_vericoded.lean

Lean 3 files

ID: 75027

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0409_vericoded.rs

Rust 2 files

ID: 76074

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0405_vericoded.rs

Rust 2 files

ID: 76072

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0044_vericoded.lean

Lean 3 files

ID: 75024

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0403_vericoded.rs

Rust 2 files

ID: 76070

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0402_vericoded.rs

Rust 2 files

ID: 76068

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LD0042_vericoded.lean

Lean 3 files

ID: 75021

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0399_vericoded.rs

Rust 2 files

ID: 76066

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VA0398_vericoded.rs

Rust 2 files

ID: 76064

Type: 🗄️

Verified:

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

Published: 11/19/2025