Upload Code

The open-source library for

formally verified code

Showing 1081–1095 of 1,738
Sort by
Lean Locked
Repo

Summary: Benchmark - LD0355_vericoded.lean

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

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

Summary: Benchmark - VA0665_vericoded.rs

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

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

Summary: Benchmark - LD0342_vericoded.lean

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

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

Summary: Benchmark - VA0662_vericoded.rs

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

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

Summary: Benchmark - VA0661_vericoded.rs

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

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

Summary: Benchmark - LD0335_vericoded.lean

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

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

Summary: Benchmark - VA0659_vericoded.rs

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

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

Summary: Benchmark - VA0655_vericoded.rs

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

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

Summary: Benchmark - LD0331_vericoded.lean

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

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

Summary: Benchmark - VA0654_vericoded.rs

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

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

Summary: Benchmark - VA0653_vericoded.rs

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

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

Summary: Benchmark - LD0311_vericoded.lean

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

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

Summary: Benchmark - VA0652_vericoded.rs

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

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

Summary: Benchmark - VA0650_vericoded.rs

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

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

Summary: Benchmark - LD0282_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3819