Upload Code

The open-source library for

formally verified code

Showing 1126–1140 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0170_vericoded.lean

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

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

Summary: Benchmark - VA0580_vericoded.rs

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

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

Summary: Benchmark - LD0167_vericoded.lean

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

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

Summary: Benchmark - VA0578_vericoded.rs

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

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

Summary: Benchmark - VA0575_vericoded.rs

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

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

Summary: Benchmark - LD0164_vericoded.lean

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

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

Summary: Benchmark - VA0570_vericoded.rs

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

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

Summary: Benchmark - LD0159_vericoded.lean

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

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

Summary: Benchmark - VA0569_vericoded.rs

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

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

Summary: Benchmark - VA0565_vericoded.rs

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

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

Summary: Benchmark - VA0564_vericoded.rs

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

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

Summary: Benchmark - LD0158_vericoded.lean

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

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

Summary: Benchmark - VA0563_vericoded.rs

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

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

Summary: Benchmark - LD0141_vericoded.lean

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

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

Summary: Benchmark - VA0561_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4183