Upload Code

The open-source library for

formally verified code

Showing 1156–1170 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0530_vericoded.rs

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

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

Summary: Benchmark - LD0102_vericoded.lean

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

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

Summary: Benchmark - VA0527_vericoded.rs

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

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

Summary: Benchmark - VA0526_vericoded.rs

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

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

Summary: Benchmark - LD0096_vericoded.lean

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

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

Summary: Benchmark - VA0525_vericoded.rs

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

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

Summary: Benchmark - VA0523_vericoded.rs

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

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

Summary: Benchmark - LD0094_vericoded.lean

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

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

Summary: Benchmark - VA0522_vericoded.rs

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

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

Summary: Benchmark - VA0520_vericoded.rs

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

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

Summary: Benchmark - LD0089_vericoded.lean

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

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

Summary: Benchmark - VA0516_vericoded.rs

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

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

Summary: Benchmark - VA0515_vericoded.rs

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

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

Summary: Benchmark - LD0087_vericoded.lean

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

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

Summary: Benchmark - VA0514_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4163