Upload Code

The open-source library for

formally verified code

Showing 916–930 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0720_vericoded.lean

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

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

Summary: Benchmark - VD0716_vericoded.rs

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

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

Summary: Benchmark - VD0714_vericoded.rs

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

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

Summary: Benchmark - VD0703_vericoded.rs

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

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

Summary: Benchmark - LD0718_vericoded.lean

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

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

Summary: Benchmark - VD0700_vericoded.rs

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

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

Summary: Benchmark - VD0686_vericoded.rs

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

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

Summary: Benchmark - LD0703_vericoded.lean

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

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

Summary: Benchmark - VD0684_vericoded.rs

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

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

Summary: Benchmark - LD0686_vericoded.lean

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

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

Summary: Benchmark - VD0679_vericoded.rs

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

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

Summary: Benchmark - VD0676_vericoded.rs

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

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

Summary: Benchmark - VD0674_vericoded.rs

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

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

Summary: Benchmark - VD0669_vericoded.rs

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

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

Summary: Benchmark - LD0685_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3873