Upload Code

The open-source library for

formally verified code

Showing 511–525 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0159_vericoded.lean

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

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

Summary: Benchmark - VT0069_vericoded.rs

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

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

Summary: Benchmark - VT0068_vericoded.rs

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

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

Summary: Benchmark - VT0067_vericoded.rs

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

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

Summary: Benchmark - LJ0148_vericoded.lean

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

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

Summary: Benchmark - VT0064_vericoded.rs

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

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

Summary: Benchmark - VT0062_vericoded.rs

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

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

Summary: Benchmark - VT0061_vericoded.rs

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

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

Summary: Benchmark - LJ0138_vericoded.lean

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

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

Summary: Benchmark - VT0060_vericoded.rs

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

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

Summary: Benchmark - VT0058_vericoded.rs

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

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

Summary: Benchmark - LJ0136_vericoded.lean

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

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

Summary: Benchmark - VT0057_vericoded.rs

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

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

Summary: Benchmark - VT0055_vericoded.rs

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

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

Summary: Benchmark - VT0053_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4611