Upload Code

The open-source library for

formally verified code

Showing 661–675 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0113_vericoded.rs

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

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

Summary: Benchmark - VJ0112_vericoded.rs

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

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

Summary: Benchmark - LJ0055_vericoded.lean

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

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

Summary: Benchmark - VJ0111_vericoded.rs

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

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

Summary: Benchmark - VJ0110_vericoded.rs

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

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

Summary: Benchmark - VJ0107_vericoded.rs

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

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

Summary: Benchmark - LJ0051_vericoded.lean

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

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

Summary: Benchmark - VJ0105_vericoded.rs

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

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

Summary: Benchmark - VJ0104_vericoded.rs

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

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

Summary: Benchmark - LJ0049_vericoded.lean

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

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

Summary: Benchmark - VJ0101_vericoded.rs

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

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

Summary: Benchmark - VJ0100_vericoded.rs

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

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

Summary: Benchmark - VJ0098_vericoded.rs

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

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

Summary: Benchmark - LJ0048_vericoded.lean

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

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

Summary: Benchmark - VJ0096_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4501