Upload Code

The open-source library for

formally verified code

Showing 1141–1155 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0556_vericoded.rs

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

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

Summary: Benchmark - LD0138_vericoded.lean

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

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

Summary: Benchmark - VA0551_vericoded.rs

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

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

Summary: Benchmark - VA0550_vericoded.rs

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

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

Summary: Benchmark - LD0132_vericoded.lean

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

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

Summary: Benchmark - VA0549_vericoded.rs

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

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

Summary: Benchmark - VA0541_vericoded.rs

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

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

Summary: Benchmark - LD0129_vericoded.lean

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

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

Summary: Benchmark - VA0538_vericoded.rs

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

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

Summary: Benchmark - VA0536_vericoded.rs

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

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

Summary: Benchmark - LD0128_vericoded.lean

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

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

Summary: Benchmark - VA0534_vericoded.rs

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

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

Summary: Benchmark - VA0533_vericoded.rs

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

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

Summary: Benchmark - LD0127_vericoded.lean

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

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

Summary: Benchmark - VA0532_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4173