Upload Code

The open-source library for

formally verified code

Showing 796–810 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0839_vericoded.lean

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

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

Summary: Benchmark - VH0134_vericoded.rs

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

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

Summary: Benchmark - VH0126_vericoded.rs

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

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

Summary: Benchmark - LD0831_vericoded.lean

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

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

Summary: Benchmark - VH0125_vericoded.rs

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

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

Summary: Benchmark - VH0122_vericoded.rs

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

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

Summary: Benchmark - LD0826_vericoded.lean

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

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

Summary: Benchmark - VH0119_vericoded.rs

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

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

Summary: Benchmark - VH0110_vericoded.rs

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

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

Summary: Benchmark - LD0825_vericoded.lean

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

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

Summary: Benchmark - VH0107_vericoded.rs

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

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

Summary: Benchmark - VH0105_vericoded.rs

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

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

Summary: Benchmark - LD0824_vericoded.lean

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

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

Summary: Benchmark - VH0102_vericoded.rs

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

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

Summary: Benchmark - VH0095_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4409