Upload Code

The open-source library for

formally verified code

Showing 751–765 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0014_vericoded.lean

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

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

Summary: Benchmark - VJ0027_vericoded.rs

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

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

Summary: Benchmark - VJ0026_vericoded.rs

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

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

Summary: Benchmark - LJ0006_vericoded.lean

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

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

Summary: Benchmark - VJ0025_vericoded.rs

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

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

Summary: Benchmark - VJ0024_vericoded.rs

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

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

Summary: Benchmark - LJ0005_vericoded.lean

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

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

Summary: Benchmark - VJ0023_vericoded.rs

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

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

Summary: Benchmark - VJ0022_vericoded.rs

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

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

Summary: Benchmark - VJ0021_vericoded.rs

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

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

Summary: Benchmark - LJ0004_vericoded.lean

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

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

Summary: Benchmark - VJ0020_vericoded.rs

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

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

Summary: Benchmark - VJ0019_vericoded.rs

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

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

Summary: Benchmark - LJ0003_vericoded.lean

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

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

Summary: Benchmark - VJ0016_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4439