Upload Code

The open-source library for

formally verified code

Showing 1725 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0418_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4796
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0059_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4075
Rust Locked
Repo

Summary: Benchmark - VT0417_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4795
Rust Locked
Repo

Summary: Benchmark - VT0416_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4794
Rust Locked
Repo

Summary: Benchmark - VT0415_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4793
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0058_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4074
Rust Locked
Repo

Summary: Benchmark - VT0412_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4792
Lean Locked
Repo Verified ✓

Summary: Benchmark - LV0040_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4073
Rust Locked
Repo

Summary: Benchmark - VT0411_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4791
Rust Locked
Repo

Summary: Benchmark - VT0528_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4849
Rust Locked
Repo

Summary: Benchmark - VT0486_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4826
Rust Locked
Repo

Summary: Benchmark - VT0434_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4803
Rust Locked
Repo

Summary: Benchmark - VT0640_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4896
Rust Locked
Repo

Summary: Benchmark - VT0578_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4872
Rust Locked
Repo

Summary: Benchmark - VV0095_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4940
Load more Results