Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0314_vericoded.rs

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

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

Summary: Benchmark - VT0313_vericoded.rs

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

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

Summary: Benchmark - LT0171_vericoded.lean

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

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

Summary: Benchmark - VT0312_vericoded.rs

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

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

Summary: Benchmark - LT0169_vericoded.lean

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

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

Summary: Benchmark - VT0311_vericoded.rs

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

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

Summary: Benchmark - VT0310_vericoded.rs

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

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

Summary: Benchmark - LT0168_vericoded.lean

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

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

Summary: Benchmark - VT0309_vericoded.rs

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

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

Summary: Benchmark - VT0308_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4734
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
Load more Results