Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
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
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0071_vericoded.lean

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

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

Summary: Benchmark - VT0287_vericoded.rs

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

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

Summary: Benchmark - VT0286_vericoded.rs

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

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

Summary: Benchmark - LT0070_vericoded.lean

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

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

Summary: Benchmark - VT0284_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4721
Load more Results