Upload Code

The open-source library for

formally verified code

Showing 1021–1035 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0535_vericoded.lean

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

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

Summary: Benchmark - VD0091_vericoded.rs

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

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

Summary: Benchmark - VD0090_vericoded.rs

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

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

Summary: Benchmark - LD0534_vericoded.lean

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

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

Summary: Benchmark - VD0089_vericoded.rs

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

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

Summary: Benchmark - LD0533_vericoded.lean

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

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

Summary: Benchmark - VD0088_vericoded.rs

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

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

Summary: Benchmark - VD0087_vericoded.rs

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

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

Summary: Benchmark - LD0518_vericoded.lean

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

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

Summary: Benchmark - VD0086_vericoded.rs

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

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

Summary: Benchmark - VD0085_vericoded.rs

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

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

Summary: Benchmark - LD0517_vericoded.lean

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

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

Summary: Benchmark - VD0082_vericoded.rs

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

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

Summary: Benchmark - VD0081_vericoded.rs

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

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

Summary: Benchmark - LD0509_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3839