Upload Code

The open-source library for

formally verified code

Showing 346–360 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0124_vericoded.lean

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

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

Summary: Benchmark - VT0306_vericoded.rs

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

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

Summary: Benchmark - VT0299_vericoded.rs

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

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

Summary: Benchmark - VT0298_vericoded.rs

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

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

Summary: Benchmark - LT0110_vericoded.lean

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

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

Summary: Benchmark - VT0297_vericoded.rs

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

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

Summary: Benchmark - LT0081_vericoded.lean

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

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

Summary: Benchmark - VT0293_vericoded.rs

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

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

Summary: Benchmark - VT0292_vericoded.rs

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

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

Summary: Benchmark - LT0077_vericoded.lean

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

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

Summary: Benchmark - VT0291_vericoded.rs

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

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

Summary: Benchmark - VT0290_vericoded.rs

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

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

Summary: Benchmark - LT0074_vericoded.lean

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

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

Summary: Benchmark - VT0289_vericoded.rs

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

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

Summary: Benchmark - VT0288_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4724