Upload Code

The open-source library for

formally verified code

Showing 811–825 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0806_vericoded.lean

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

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

Summary: Benchmark - VH0094_vericoded.rs

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

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

Summary: Benchmark - VH0092_vericoded.rs

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

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

Summary: Benchmark - LD0805_vericoded.lean

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

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

Summary: Benchmark - VH0091_vericoded.rs

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

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

Summary: Benchmark - VH0086_vericoded.rs

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

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

Summary: Benchmark - LD0803_vericoded.lean

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

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

Summary: Benchmark - VH0082_vericoded.rs

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

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

Summary: Benchmark - VH0078_vericoded.rs

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

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

Summary: Benchmark - LD0802_vericoded.lean

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

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

Summary: Benchmark - VH0074_vericoded.rs

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

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

Summary: Benchmark - VH0072_vericoded.rs

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

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

Summary: Benchmark - LD0801_vericoded.lean

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

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

Summary: Benchmark - VH0057_vericoded.rs

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

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

Summary: Benchmark - VH0055_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4399