Upload Code

The open-source library for

formally verified code

Showing 616–630 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0154_vericoded.rs

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

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

Summary: Benchmark - LJ0083_vericoded.lean

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

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

Summary: Benchmark - VJ0153_vericoded.rs

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

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

Summary: Benchmark - VJ0152_vericoded.rs

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

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

Summary: Benchmark - VJ0151_vericoded.rs

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

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

Summary: Benchmark - LJ0081_vericoded.lean

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

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

Summary: Benchmark - VJ0150_vericoded.rs

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

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

Summary: Benchmark - VJ0149_vericoded.rs

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

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

Summary: Benchmark - VJ0148_vericoded.rs

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

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

Summary: Benchmark - LJ0080_vericoded.lean

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

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

Summary: Benchmark - VJ0146_vericoded.rs

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

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

Summary: Benchmark - VJ0145_vericoded.rs

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

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

Summary: Benchmark - LJ0077_vericoded.lean

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

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

Summary: Benchmark - VJ0144_vericoded.rs

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

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

Summary: Benchmark - VJ0142_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4534