Upload Code

The open-source library for

formally verified code

Showing 931–945 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0668_vericoded.rs

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

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

Summary: Benchmark - VD0665_vericoded.rs

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

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

Summary: Benchmark - VD0662_vericoded.rs

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

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

Summary: Benchmark - LD0683_vericoded.lean

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

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

Summary: Benchmark - VD0643_vericoded.rs

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

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

Summary: Benchmark - VD0634_vericoded.rs

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

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

Summary: Benchmark - VD0598_vericoded.rs

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

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

Summary: Benchmark - LD0682_vericoded.lean

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

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

Summary: Benchmark - VD0589_vericoded.rs

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

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

Summary: Benchmark - VD0588_vericoded.rs

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

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

Summary: Benchmark - LD0681_vericoded.lean

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

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

Summary: Benchmark - VD0587_vericoded.rs

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

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

Summary: Benchmark - VD0580_vericoded.rs

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

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

Summary: Benchmark - LD0679_vericoded.lean

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

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

Summary: Benchmark - VD0578_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4313