Upload Code

The open-source library for

formally verified code

Showing 886–900 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0752_vericoded.lean

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

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

Summary: Benchmark - VD0765_vericoded.rs

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

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

Summary: Benchmark - VD0762_vericoded.rs

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

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

Summary: Benchmark - VD0759_vericoded.rs

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

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

Summary: Benchmark - LD0747_vericoded.lean

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

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

Summary: Benchmark - VD0756_vericoded.rs

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

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

Summary: Benchmark - VD0754_vericoded.rs

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

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

Summary: Benchmark - LD0746_vericoded.lean

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

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

Summary: Benchmark - VD0751_vericoded.rs

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

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

Summary: Benchmark - VD0749_vericoded.rs

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

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

Summary: Benchmark - LD0740_vericoded.lean

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

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

Summary: Benchmark - VD0747_vericoded.rs

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

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

Summary: Benchmark - VD0746_vericoded.rs

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

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

Summary: Benchmark - LD0737_vericoded.lean

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

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

Summary: Benchmark - VD0744_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4345