Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LS0032_vericoded.lean

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

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

Summary: Benchmark - VT0178_vericoded.rs

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

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

Summary: Benchmark - LS0031_vericoded.lean

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

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

Summary: Benchmark - VT0177_vericoded.rs

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

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

Summary: Benchmark - VT0176_vericoded.rs

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

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

Summary: Benchmark - VT0174_vericoded.rs

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

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

Summary: Benchmark - LS0030_vericoded.lean

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

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

Summary: Benchmark - VT0172_vericoded.rs

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

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

Summary: Benchmark - VT0170_vericoded.rs

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

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

Summary: Benchmark - LS0029_vericoded.lean

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

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

Summary: Benchmark - VT0169_vericoded.rs

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

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

Summary: Benchmark - VT0166_vericoded.rs

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

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

Summary: Benchmark - LS0028_vericoded.lean

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

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

Summary: Benchmark - VT0165_vericoded.rs

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

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

Summary: Benchmark - VT0160_vericoded.rs

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

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