Upload Code

The open-source library for

formally verified code

Showing 1066–1080 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0008_vericoded.rs

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

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

Summary: Benchmark - VD0003_vericoded.rs

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

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

Summary: Benchmark - VD0000_vericoded.rs

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

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

Summary: Benchmark - LD0374_vericoded.lean

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

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

Summary: Benchmark - VB0061_vericoded.rs

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

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

Summary: Benchmark - LD0369_vericoded.lean

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

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

Summary: Benchmark - VB0041_vericoded.rs

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

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

Summary: Benchmark - VB0011_vericoded.rs

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

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

Summary: Benchmark - LD0363_vericoded.lean

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

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

Summary: Benchmark - VB0002_vericoded.rs

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

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

Summary: Benchmark - VA0673_vericoded.rs

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

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

Summary: Benchmark - LD0356_vericoded.lean

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

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

Summary: Benchmark - VA0671_vericoded.rs

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

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

Summary: Benchmark - VA0669_vericoded.rs

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

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

Summary: Benchmark - VA0667_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4222