Upload Code

The open-source library for

formally verified code

Showing 706–720 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0066_vericoded.rs

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

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

Summary: Benchmark - LJ0036_vericoded.lean

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

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

Summary: Benchmark - VJ0065_vericoded.rs

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

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

Summary: Benchmark - VJ0064_vericoded.rs

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

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

Summary: Benchmark - VJ0062_vericoded.rs

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

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

Summary: Benchmark - LJ0035_vericoded.lean

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

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

Summary: Benchmark - VJ0060_vericoded.rs

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

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

Summary: Benchmark - VJ0058_vericoded.rs

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

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

Summary: Benchmark - LJ0034_vericoded.lean

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

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

Summary: Benchmark - VJ0057_vericoded.rs

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

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

Summary: Benchmark - VJ0054_vericoded.rs

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

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

Summary: Benchmark - VJ0053_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4472
Lean Locked
Repo

Summary: Benchmark - LJ0033_vericoded.lean

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

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

Summary: Benchmark - VJ0052_vericoded.rs

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

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

Summary: Benchmark - VJ0051_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4470