Upload Code

The open-source library for

formally verified code

Showing 901–915 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0742_vericoded.rs

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

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

Summary: Benchmark - LD0733_vericoded.lean

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

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

Summary: Benchmark - VD0741_vericoded.rs

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

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

Summary: Benchmark - VD0738_vericoded.rs

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

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

Summary: Benchmark - LD0727_vericoded.lean

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

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

Summary: Benchmark - VD0735_vericoded.rs

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

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

Summary: Benchmark - VD0732_vericoded.rs

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

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

Summary: Benchmark - VD0729_vericoded.rs

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

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

Summary: Benchmark - LD0724_vericoded.lean

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

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

Summary: Benchmark - VD0727_vericoded.rs

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

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

Summary: Benchmark - VD0722_vericoded.rs

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

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

Summary: Benchmark - VD0721_vericoded.rs

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

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

Summary: Benchmark - LD0722_vericoded.lean

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

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

Summary: Benchmark - VD0719_vericoded.rs

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

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

Summary: Benchmark - VD0718_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4334