Upload Code

The open-source library for

formally verified code

Showing 1216–1230 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0412_vericoded.rs

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

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

Summary: Benchmark - LD0052_vericoded.lean

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

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

Summary: Benchmark - VA0411_vericoded.rs

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

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

Summary: Benchmark - VA0410_vericoded.rs

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

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

Summary: Benchmark - LD0048_vericoded.lean

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

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

Summary: Benchmark - VA0409_vericoded.rs

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

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

Summary: Benchmark - VA0405_vericoded.rs

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

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

Summary: Benchmark - LD0044_vericoded.lean

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

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

Summary: Benchmark - VA0403_vericoded.rs

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

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

Summary: Benchmark - VA0402_vericoded.rs

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

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

Summary: Benchmark - LD0042_vericoded.lean

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

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

Summary: Benchmark - VA0399_vericoded.rs

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

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

Summary: Benchmark - VA0398_vericoded.rs

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

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

Summary: Benchmark - VA0383_vericoded.rs

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

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

Summary: Benchmark - LD0013_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3773