Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0283_vericoded.rs

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

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

Summary: Benchmark - VT0280_vericoded.rs

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

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

Summary: Benchmark - LT0054_vericoded.lean

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

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

Summary: Benchmark - VT0279_vericoded.rs

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

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

Summary: Benchmark - VT0278_vericoded.rs

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

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

Summary: Benchmark - LT0039_vericoded.lean

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

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

Summary: Benchmark - VT0276_vericoded.rs

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

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

Summary: Benchmark - LT0031_vericoded.lean

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

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

Summary: Benchmark - VT0275_vericoded.rs

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

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

Summary: Benchmark - VT0269_vericoded.rs

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

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

Summary: Benchmark - LT0030_vericoded.lean

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

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

Summary: Benchmark - VT0266_vericoded.rs

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

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

Summary: Benchmark - VT0265_vericoded.rs

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

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

Summary: Benchmark - VT0262_vericoded.rs

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

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

Summary: Benchmark - LT0022_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 4033
Load more Results