Upload Code

The open-source library for

formally verified code

Showing 781–795 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0858_vericoded.lean

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

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

Summary: Benchmark - VJ0003_vericoded.rs

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

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

Summary: Benchmark - VJ0002_vericoded.rs

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

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

Summary: Benchmark - LD0856_vericoded.lean

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

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

Summary: Benchmark - VJ0001_vericoded.rs

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

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

Summary: Benchmark - VJ0000_vericoded.rs

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

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

Summary: Benchmark - LD0855_vericoded.lean

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

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

Summary: Benchmark - VH0163_vericoded.rs

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

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

Summary: Benchmark - VH0156_vericoded.rs

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

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

Summary: Benchmark - LD0843_vericoded.lean

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

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

Summary: Benchmark - VH0150_vericoded.rs

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

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

Summary: Benchmark - VH0140_vericoded.rs

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

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

Summary: Benchmark - LD0840_vericoded.lean

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

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

Summary: Benchmark - VH0138_vericoded.rs

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

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

Summary: Benchmark - VH0136_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4419