Upload Code

The open-source library for

formally verified code

Showing 1715 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0023_vericoded.rs

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

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

Summary: Benchmark - LJ0116_vericoded.lean

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

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

Summary: Benchmark - VT0022_vericoded.rs

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

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

Summary: Benchmark - VT0021_vericoded.rs

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

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

Summary: Benchmark - VT0020_vericoded.rs

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

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

Summary: Benchmark - LJ0115_vericoded.lean

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

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

Summary: Benchmark - VT0018_vericoded.rs

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

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

Summary: Benchmark - VT0016_vericoded.rs

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

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

Summary: Benchmark - VT0014_vericoded.rs

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

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

Summary: Benchmark - LJ0113_vericoded.lean

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

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

Summary: Benchmark - VT0010_vericoded.rs

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

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

Summary: Benchmark - VT0007_vericoded.rs

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

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

Summary: Benchmark - VT0006_vericoded.rs

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

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

Summary: Benchmark - LJ0112_vericoded.lean

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

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

Summary: Benchmark - VT0005_vericoded.rs

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

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