Upload Code

The open-source library for

formally verified code

Showing 1036–1050 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0080_vericoded.rs

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

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

Summary: Benchmark - VD0079_vericoded.rs

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

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

Summary: Benchmark - VD0076_vericoded.rs

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

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

Summary: Benchmark - LD0484_vericoded.lean

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

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

Summary: Benchmark - VD0075_vericoded.rs

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

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

Summary: Benchmark - VD0073_vericoded.rs

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

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

Summary: Benchmark - LD0469_vericoded.lean

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

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

Summary: Benchmark - VD0072_vericoded.rs

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

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

Summary: Benchmark - VD0071_vericoded.rs

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

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

Summary: Benchmark - LD0467_vericoded.lean

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

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

Summary: Benchmark - VD0068_vericoded.rs

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

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

Summary: Benchmark - VD0067_vericoded.rs

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

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

Summary: Benchmark - LD0466_vericoded.lean

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

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

Summary: Benchmark - VD0056_vericoded.rs

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

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

Summary: Benchmark - VD0052_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4242