Upload Code

The open-source library for

formally verified code

Showing 1096–1110 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0649_vericoded.rs

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

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

Summary: Benchmark - VA0646_vericoded.rs

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

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

Summary: Benchmark - LD0280_vericoded.lean

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

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

Summary: Benchmark - VA0644_vericoded.rs

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

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

Summary: Benchmark - VA0643_vericoded.rs

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

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

Summary: Benchmark - LD0276_vericoded.lean

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

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

Summary: Benchmark - VA0638_vericoded.rs

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

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

Summary: Benchmark - VA0637_vericoded.rs

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

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

Summary: Benchmark - LD0268_vericoded.lean

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

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

Summary: Benchmark - VA0634_vericoded.rs

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

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

Summary: Benchmark - VA0633_vericoded.rs

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

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

Summary: Benchmark - VA0625_vericoded.rs

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

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

Summary: Benchmark - LD0235_vericoded.lean

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

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

Summary: Benchmark - VA0622_vericoded.rs

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

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

Summary: Benchmark - LD0226_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3814