Upload Code

The open-source library for

formally verified code

Showing 961–975 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0483_vericoded.rs

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

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

Summary: Benchmark - VD0454_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4301
Lean Locked
Repo

Summary: Benchmark - LD0668_vericoded.lean

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

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

Summary: Benchmark - VD0438_vericoded.rs

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

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

Summary: Benchmark - VD0433_vericoded.rs

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

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

Summary: Benchmark - LD0665_vericoded.lean

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

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

Summary: Benchmark - VD0432_vericoded.rs

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

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

Summary: Benchmark - VD0431_vericoded.rs

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

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

Summary: Benchmark - LD0654_vericoded.lean

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

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

Summary: Benchmark - VD0429_vericoded.rs

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

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

Summary: Benchmark - VD0425_vericoded.rs

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

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

Summary: Benchmark - LD0646_vericoded.lean

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

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

Summary: Benchmark - VD0378_vericoded.rs

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

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

Summary: Benchmark - VD0367_vericoded.rs

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

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

Summary: Benchmark - LD0643_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3859