Upload Code

The open-source library for

formally verified code

Showing 826–840 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VH0053_vericoded.rs

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

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

Summary: Benchmark - LD0800_vericoded.lean

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

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

Summary: Benchmark - VH0052_vericoded.rs

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

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

Summary: Benchmark - VH0050_vericoded.rs

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

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

Summary: Benchmark - LD0796_vericoded.lean

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

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

Summary: Benchmark - VH0041_vericoded.rs

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

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

Summary: Benchmark - VH0040_vericoded.rs

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

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

Summary: Benchmark - VH0036_vericoded.rs

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

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

Summary: Benchmark - LD0794_vericoded.lean

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

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

Summary: Benchmark - VH0029_vericoded.rs

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

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

Summary: Benchmark - VH0027_vericoded.rs

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

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

Summary: Benchmark - VH0025_vericoded.rs

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

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

Summary: Benchmark - LD0791_vericoded.lean

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

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

Summary: Benchmark - VH0021_vericoded.rs

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

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

Summary: Benchmark - VH0014_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4388