Upload Code

The open-source library for

formally verified code

Showing 991–1005 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0254_vericoded.rs

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

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

Summary: Benchmark - LD0590_vericoded.lean

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

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

Summary: Benchmark - VD0197_vericoded.rs

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

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

Summary: Benchmark - VD0187_vericoded.rs

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

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

Summary: Benchmark - LD0588_vericoded.lean

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

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

Summary: Benchmark - VD0167_vericoded.rs

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

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

Summary: Benchmark - VD0155_vericoded.rs

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

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

Summary: Benchmark - LD0581_vericoded.lean

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

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

Summary: Benchmark - VD0151_vericoded.rs

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

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

Summary: Benchmark - VD0149_vericoded.rs

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

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

Summary: Benchmark - VD0144_vericoded.rs

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

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

Summary: Benchmark - LD0578_vericoded.lean

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

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

Summary: Benchmark - VD0138_vericoded.rs

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

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

Summary: Benchmark - LD0574_vericoded.lean

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

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

Summary: Benchmark - VD0135_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4272