Upload Code

The open-source library for

formally verified code

Showing 571–585 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VS0037_vericoded.rs

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

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

Summary: Benchmark - VS0034_vericoded.rs

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

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

Summary: Benchmark - LJ0107_vericoded.lean

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

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

Summary: Benchmark - VS0033_vericoded.rs

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

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

Summary: Benchmark - VS0032_vericoded.rs

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

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

Summary: Benchmark - VS0031_vericoded.rs

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

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

Summary: Benchmark - LJ0103_vericoded.lean

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

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

Summary: Benchmark - VS0029_vericoded.rs

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

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

Summary: Benchmark - VS0028_vericoded.rs

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

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

Summary: Benchmark - LJ0102_vericoded.lean

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

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

Summary: Benchmark - VS0024_vericoded.rs

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

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

Summary: Benchmark - VS0023_vericoded.rs

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

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

Summary: Benchmark - VS0022_vericoded.rs

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

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

Summary: Benchmark - LJ0100_vericoded.lean

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

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

Summary: Benchmark - VS0018_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4567