Upload Code

The open-source library for

formally verified code

Showing 856–870 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0844_vericoded.rs

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

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

Summary: Benchmark - LD0768_vericoded.lean

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

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

Summary: Benchmark - VD0843_vericoded.rs

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

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

Summary: Benchmark - VD0807_vericoded.rs

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

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

Summary: Benchmark - VD0805_vericoded.rs

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

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

Summary: Benchmark - LD0764_vericoded.lean

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

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

Summary: Benchmark - VD0804_vericoded.rs

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

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

Summary: Benchmark - VD0801_vericoded.rs

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

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

Summary: Benchmark - VD0800_vericoded.rs

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

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

Summary: Benchmark - LD0762_vericoded.lean

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

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

Summary: Benchmark - VD0799_vericoded.rs

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

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

Summary: Benchmark - VD0797_vericoded.rs

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

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

Summary: Benchmark - LD0760_vericoded.lean

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

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

Summary: Benchmark - VD0796_vericoded.rs

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

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

Summary: Benchmark - VD0791_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4366