1709 results
Filter By
Language

Type

Status

1709 results

No ratings

Summary: Benchmark - VT0417_vericoded.rs

Rust 2 files

ID: 77406

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LV0059_vericoded.lean

Lean 3 files

ID: 75924

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0416_vericoded.rs

Rust 2 files

ID: 77404

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0415_vericoded.rs

Rust 2 files

ID: 77402

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LV0058_vericoded.lean

Lean 3 files

ID: 75921

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0412_vericoded.rs

Rust 2 files

ID: 77400

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LV0040_vericoded.lean

Lean 3 files

ID: 75918

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0411_vericoded.rs

Rust 2 files

ID: 77398

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0524_vericoded.rs

Rust 2 files

ID: 77508

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0481_vericoded.rs

Rust 2 files

ID: 77462

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0427_vericoded.rs

Rust 2 files

ID: 77416

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VV0174_vericoded.rs

Rust 2 files

ID: 77758

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VV0089_vericoded.rs

Rust 2 files

ID: 77690

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VV0040_vericoded.rs

Rust 2 files

ID: 77644

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0634_vericoded.rs

Rust 2 files

ID: 77598

Type: 🗄️

Verified:

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

Published: 11/19/2025