1709 results
Filter By
Language

Type

Status

1709 results

No ratings

Summary: Benchmark - VT0194_vericoded.rs

Rust 2 files

ID: 77168

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0192_vericoded.rs

Rust 2 files

ID: 77166

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LS0036_vericoded.lean

Lean 3 files

ID: 75744

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0190_vericoded.rs

Rust 2 files

ID: 77164

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0189_vericoded.rs

Rust 2 files

ID: 77162

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LS0035_vericoded.lean

Lean 3 files

ID: 75741

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0187_vericoded.rs

Rust 2 files

ID: 77160

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0184_vericoded.rs

Rust 2 files

ID: 77158

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LS0032_vericoded.lean

Lean 3 files

ID: 75738

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0179_vericoded.rs

Rust 2 files

ID: 77156

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0178_vericoded.rs

Rust 2 files

ID: 77154

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - LS0031_vericoded.lean

Lean 3 files

ID: 75735

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0177_vericoded.rs

Rust 2 files

ID: 77152

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0176_vericoded.rs

Rust 2 files

ID: 77150

Type: 🗄️

Verified:

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

Published: 11/19/2025

No ratings

Summary: Benchmark - VT0174_vericoded.rs

Rust 2 files

ID: 77148

Type: 🗄️

Verified:

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

Published: 11/19/2025