Upload Code

The open-source library for

formally verified code

Showing 1051–1065 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0465_vericoded.lean

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

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

Summary: Benchmark - VD0050_vericoded.rs

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

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

Summary: Benchmark - VD0045_vericoded.rs

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

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

Summary: Benchmark - LD0456_vericoded.lean

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

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

Summary: Benchmark - VD0044_vericoded.rs

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

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

Summary: Benchmark - VD0043_vericoded.rs

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

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

Summary: Benchmark - VD0042_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4237
Lean Locked
Repo

Summary: Benchmark - LD0417_vericoded.lean

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

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

Summary: Benchmark - VD0040_vericoded.rs

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

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

Summary: Benchmark - LD0402_vericoded.lean

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

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

Summary: Benchmark - VD0037_vericoded.rs

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

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

Summary: Benchmark - VD0014_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4234
Lean Locked
Repo

Summary: Benchmark - LD0400_vericoded.lean

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

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

Summary: Benchmark - VD0012_vericoded.rs

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

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

Summary: Benchmark - LD0379_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3829