Upload Code

The open-source library for

formally verified code

Showing 841–855 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0785_vericoded.lean

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

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

Summary: Benchmark - VH0012_vericoded.rs

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

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

Summary: Benchmark - VH0011_vericoded.rs

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

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

Summary: Benchmark - VH0006_vericoded.rs

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

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

Summary: Benchmark - LD0778_vericoded.lean

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

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

Summary: Benchmark - VH0005_vericoded.rs

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

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

Summary: Benchmark - VH0002_vericoded.rs

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

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

Summary: Benchmark - VD0924_vericoded.rs

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

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

Summary: Benchmark - LD0777_vericoded.lean

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

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

Summary: Benchmark - VD0908_vericoded.rs

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

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

Summary: Benchmark - VD0897_vericoded.rs

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

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

Summary: Benchmark - VD0896_vericoded.rs

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

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

Summary: Benchmark - LD0772_vericoded.lean

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

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

Summary: Benchmark - VD0878_vericoded.rs

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

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

Summary: Benchmark - VD0873_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4377