Upload Code

The open-source library for

formally verified code

Showing 871–885 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0790_vericoded.rs

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

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

Summary: Benchmark - LD0759_vericoded.lean

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

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

Summary: Benchmark - VD0787_vericoded.rs

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

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

Summary: Benchmark - VD0786_vericoded.rs

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

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

Summary: Benchmark - VD0780_vericoded.rs

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

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

Summary: Benchmark - LD0758_vericoded.lean

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

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

Summary: Benchmark - VD0779_vericoded.rs

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

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

Summary: Benchmark - VD0777_vericoded.rs

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

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

Summary: Benchmark - LD0755_vericoded.lean

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

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

Summary: Benchmark - VD0776_vericoded.rs

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

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

Summary: Benchmark - VD0773_vericoded.rs

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

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

Summary: Benchmark - LD0754_vericoded.lean

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

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

Summary: Benchmark - VD0772_vericoded.rs

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

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

Summary: Benchmark - VD0771_vericoded.rs

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

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

Summary: Benchmark - VD0768_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4355