Upload Code

The open-source library for

formally verified code

Showing 976–990 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0298_vericoded.rs

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

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

Summary: Benchmark - VD0287_vericoded.rs

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

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

Summary: Benchmark - LD0634_vericoded.lean

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

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

Summary: Benchmark - VD0282_vericoded.rs

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

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

Summary: Benchmark - VD0280_vericoded.rs

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

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

Summary: Benchmark - VD0275_vericoded.rs

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

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

Summary: Benchmark - LD0606_vericoded.lean

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

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

Summary: Benchmark - VD0274_vericoded.rs

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

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

Summary: Benchmark - VD0267_vericoded.rs

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

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

Summary: Benchmark - LD0598_vericoded.lean

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

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

Summary: Benchmark - VD0266_vericoded.rs

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

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

Summary: Benchmark - VD0265_vericoded.rs

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

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

Summary: Benchmark - LD0594_vericoded.lean

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

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

Summary: Benchmark - VD0257_vericoded.rs

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

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

Summary: Benchmark - VD0256_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4282