Upload Code

The open-source library for

formally verified code

Showing 1111–1125 of 1,738
Sort by
Lean Locked
Repo

Summary: Benchmark - LD0226_vericoded.lean

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

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

Summary: Benchmark - VA0620_vericoded.rs

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

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

Summary: Benchmark - LD0225_vericoded.lean

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

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

Summary: Benchmark - VA0614_vericoded.rs

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

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

Summary: Benchmark - VA0612_vericoded.rs

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

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

Summary: Benchmark - LD0197_vericoded.lean

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

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

Summary: Benchmark - VA0611_vericoded.rs

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

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

Summary: Benchmark - VA0607_vericoded.rs

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

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

Summary: Benchmark - LD0187_vericoded.lean

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

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

Summary: Benchmark - VA0606_vericoded.rs

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

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

Summary: Benchmark - VA0590_vericoded.rs

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

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

Summary: Benchmark - LD0178_vericoded.lean

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

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

Summary: Benchmark - VA0589_vericoded.rs

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

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

Summary: Benchmark - VA0586_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4193
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