Upload Code

The open-source library for

formally verified code

Showing 646–660 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0129_vericoded.rs

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

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

Summary: Benchmark - VJ0127_vericoded.rs

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

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

Summary: Benchmark - LJ0066_vericoded.lean

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

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

Summary: Benchmark - VJ0126_vericoded.rs

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

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

Summary: Benchmark - VJ0124_vericoded.rs

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

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

Summary: Benchmark - VJ0123_vericoded.rs

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

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

Summary: Benchmark - LJ0065_vericoded.lean

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

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

Summary: Benchmark - VJ0121_vericoded.rs

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

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

Summary: Benchmark - VJ0120_vericoded.rs

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

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

Summary: Benchmark - VJ0119_vericoded.rs

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

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

Summary: Benchmark - LJ0062_vericoded.lean

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

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

Summary: Benchmark - VJ0118_vericoded.rs

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

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

Summary: Benchmark - VJ0117_vericoded.rs

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

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

Summary: Benchmark - VJ0114_vericoded.rs

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

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

Summary: Benchmark - LJ0058_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3954