Upload Code

The open-source library for

formally verified code

Showing 601–615 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VJ0167_vericoded.rs

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

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

Summary: Benchmark - LJ0091_vericoded.lean

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

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

Summary: Benchmark - VJ0165_vericoded.rs

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

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

Summary: Benchmark - VJ0164_vericoded.rs

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

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

Summary: Benchmark - VJ0162_vericoded.rs

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

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

Summary: Benchmark - LJ0089_vericoded.lean

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

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

Summary: Benchmark - VJ0161_vericoded.rs

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

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

Summary: Benchmark - VJ0160_vericoded.rs

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

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

Summary: Benchmark - VJ0159_vericoded.rs

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

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

Summary: Benchmark - LJ0088_vericoded.lean

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

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

Summary: Benchmark - VJ0158_vericoded.rs

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

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

Summary: Benchmark - VJ0157_vericoded.rs

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

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

Summary: Benchmark - VJ0156_vericoded.rs

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

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

Summary: Benchmark - LJ0086_vericoded.lean

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

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

Summary: Benchmark - VJ0155_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4545