Upload Code

The open-source library for

formally verified code

Showing 946–960 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0577_vericoded.rs

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

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

Summary: Benchmark - LD0678_vericoded.lean

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

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

Summary: Benchmark - VD0573_vericoded.rs

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

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

Summary: Benchmark - VD0561_vericoded.rs

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

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

Summary: Benchmark - LD0677_vericoded.lean

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

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

Summary: Benchmark - VD0545_vericoded.rs

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

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

Summary: Benchmark - VD0539_vericoded.rs

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

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

Summary: Benchmark - LD0674_vericoded.lean

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

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

Summary: Benchmark - VD0521_vericoded.rs

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

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

Summary: Benchmark - VD0509_vericoded.rs

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

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

Summary: Benchmark - VD0508_vericoded.rs

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

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

Summary: Benchmark - LD0670_vericoded.lean

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

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

Summary: Benchmark - VD0507_vericoded.rs

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

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

Summary: Benchmark - VD0493_vericoded.rs

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

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

Summary: Benchmark - LD0669_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3864