Upload Code

The open-source library for

formally verified code

Showing 466–480 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LS0023_vericoded.lean

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

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

Summary: Benchmark - VT0135_vericoded.rs

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

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

Summary: Benchmark - VT0134_vericoded.rs

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

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

Summary: Benchmark - LS0022_vericoded.lean

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

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

Summary: Benchmark - VT0132_vericoded.rs

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

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

Summary: Benchmark - VT0130_vericoded.rs

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

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

Summary: Benchmark - VT0129_vericoded.rs

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

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

Summary: Benchmark - LS0020_vericoded.lean

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

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

Summary: Benchmark - VT0125_vericoded.rs

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

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

Summary: Benchmark - VT0124_vericoded.rs

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

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

Summary: Benchmark - LS0018_vericoded.lean

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

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

Summary: Benchmark - VT0123_vericoded.rs

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

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

Summary: Benchmark - VT0119_vericoded.rs

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

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

Summary: Benchmark - LS0013_vericoded.lean

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

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

Summary: Benchmark - VT0118_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4645