Upload Code

The open-source library for

formally verified code

Showing 1006–1020 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0134_vericoded.rs

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

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

Summary: Benchmark - LD0569_vericoded.lean

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

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

Summary: Benchmark - VD0118_vericoded.rs

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

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

Summary: Benchmark - LD0562_vericoded.lean

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

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

Summary: Benchmark - VD0114_vericoded.rs

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

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

Summary: Benchmark - VD0113_vericoded.rs

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

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

Summary: Benchmark - VD0112_vericoded.rs

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

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

Summary: Benchmark - LD0561_vericoded.lean

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

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

Summary: Benchmark - VD0101_vericoded.rs

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

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

Summary: Benchmark - LD0547_vericoded.lean

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

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

Summary: Benchmark - VD0100_vericoded.rs

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

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

Summary: Benchmark - VD0094_vericoded.rs

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

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

Summary: Benchmark - LD0541_vericoded.lean

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

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

Summary: Benchmark - VD0093_vericoded.rs

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

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

Summary: Benchmark - VD0092_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4262