Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0261_vericoded.rs

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

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

Summary: Benchmark - VT0256_vericoded.rs

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

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

Summary: Benchmark - VT0250_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4708
Lean Locked
Repo

Summary: Benchmark - LT0020_vericoded.lean

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

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

Summary: Benchmark - VT0247_vericoded.rs

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

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

Summary: Benchmark - LT0017_vericoded.lean

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

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

Summary: Benchmark - VT0246_vericoded.rs

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

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

Summary: Benchmark - VT0244_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4705
Lean Locked
Repo

Summary: Benchmark - LT0007_vericoded.lean

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

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

Summary: Benchmark - VT0243_vericoded.rs

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

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

Summary: Benchmark - VT0242_vericoded.rs

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

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

Summary: Benchmark - LT0005_vericoded.lean

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

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

Summary: Benchmark - VT0241_vericoded.rs

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

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

Summary: Benchmark - VT0239_vericoded.rs

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

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

Summary: Benchmark - VT0237_vericoded.rs

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

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