Upload Code

The open-source library for

formally verified code

Showing 541–555 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0126_vericoded.lean

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

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

Summary: Benchmark - VT0029_vericoded.rs

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

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

Summary: Benchmark - VT0028_vericoded.rs

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

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

Summary: Benchmark - VT0026_vericoded.rs

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

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

Summary: Benchmark - LJ0124_vericoded.lean

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

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

Summary: Benchmark - VT0025_vericoded.rs

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

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

Summary: Benchmark - VT0024_vericoded.rs

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

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

Summary: Benchmark - VT0023_vericoded.rs

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

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

Summary: Benchmark - LJ0116_vericoded.lean

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

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

Summary: Benchmark - VT0022_vericoded.rs

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

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

Summary: Benchmark - VT0021_vericoded.rs

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

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

Summary: Benchmark - VT0020_vericoded.rs

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

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

Summary: Benchmark - LJ0115_vericoded.lean

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

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

Summary: Benchmark - VT0018_vericoded.rs

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

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

Summary: Benchmark - VT0016_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4589