Upload Code

The open-source library for

formally verified code

Showing 631–645 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0141_vericoded.rs

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

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

Summary: Benchmark - VJ0140_vericoded.rs

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

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

Summary: Benchmark - LJ0073_vericoded.lean

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

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

Summary: Benchmark - VJ0139_vericoded.rs

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

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

Summary: Benchmark - VJ0138_vericoded.rs

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

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

Summary: Benchmark - LJ0072_vericoded.lean

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

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

Summary: Benchmark - VJ0137_vericoded.rs

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

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

Summary: Benchmark - VJ0136_vericoded.rs

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

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

Summary: Benchmark - VJ0135_vericoded.rs

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

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

Summary: Benchmark - LJ0071_vericoded.lean

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

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

Summary: Benchmark - VJ0134_vericoded.rs

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

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

Summary: Benchmark - VJ0133_vericoded.rs

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

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

Summary: Benchmark - VJ0132_vericoded.rs

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

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

Summary: Benchmark - LJ0067_vericoded.lean

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

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

Summary: Benchmark - VJ0131_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4523