Upload Code

The open-source library for

formally verified code

Showing 556–570 of 1,737
Sort by
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
Rust Locked
Repo

Summary: Benchmark - VT0003_vericoded.rs

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

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

Summary: Benchmark - VT0002_vericoded.rs

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

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

Summary: Benchmark - LJ0111_vericoded.lean

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

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

Summary: Benchmark - VT0001_vericoded.rs

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

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

Summary: Benchmark - VS0054_vericoded.rs

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

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

Summary: Benchmark - VS0049_vericoded.rs

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

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

Summary: Benchmark - LJ0108_vericoded.lean

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

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

Summary: Benchmark - VS0040_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4578