Upload Code

The open-source library for

formally verified code

Showing 676–690 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0094_vericoded.rs

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

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

Summary: Benchmark - LJ0047_vericoded.lean

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

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

Summary: Benchmark - VJ0093_vericoded.rs

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

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

Summary: Benchmark - VJ0092_vericoded.rs

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

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

Summary: Benchmark - LJ0046_vericoded.lean

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

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

Summary: Benchmark - VJ0090_vericoded.rs

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

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

Summary: Benchmark - VJ0088_vericoded.rs

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

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

Summary: Benchmark - LJ0045_vericoded.lean

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

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

Summary: Benchmark - VJ0087_vericoded.rs

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

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

Summary: Benchmark - VJ0085_vericoded.rs

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

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

Summary: Benchmark - LJ0044_vericoded.lean

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

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

Summary: Benchmark - VJ0084_vericoded.rs

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

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

Summary: Benchmark - VJ0082_vericoded.rs

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

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

Summary: Benchmark - LJ0043_vericoded.lean

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

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

Summary: Benchmark - VJ0081_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4491