Upload Code

The open-source library for

formally verified code

Showing 1186–1200 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0077_vericoded.lean

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

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

Summary: Benchmark - VA0476_vericoded.rs

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

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

Summary: Benchmark - VA0475_vericoded.rs

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

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

Summary: Benchmark - VA0467_vericoded.rs

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

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

Summary: Benchmark - LD0075_vericoded.lean

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

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

Summary: Benchmark - VA0464_vericoded.rs

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

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

Summary: Benchmark - VA0463_vericoded.rs

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

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

Summary: Benchmark - LD0073_vericoded.lean

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

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

Summary: Benchmark - VA0460_vericoded.rs

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

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

Summary: Benchmark - VA0459_vericoded.rs

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

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

Summary: Benchmark - LD0066_vericoded.lean

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

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

Summary: Benchmark - VA0456_vericoded.rs

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

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

Summary: Benchmark - VA0455_vericoded.rs

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

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

Summary: Benchmark - LD0065_vericoded.lean

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

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

Summary: Benchmark - VA0453_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4142