Upload Code

The open-source library for

formally verified code

Showing 1171–1185 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0510_vericoded.rs

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

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

Summary: Benchmark - LD0086_vericoded.lean

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

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

Summary: Benchmark - VA0506_vericoded.rs

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

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

Summary: Benchmark - VA0503_vericoded.rs

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

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

Summary: Benchmark - LD0085_vericoded.lean

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

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

Summary: Benchmark - VA0502_vericoded.rs

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

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

Summary: Benchmark - VA0498_vericoded.rs

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

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

Summary: Benchmark - LD0080_vericoded.lean

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

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

Summary: Benchmark - VA0496_vericoded.rs

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

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

Summary: Benchmark - VA0493_vericoded.rs

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

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

Summary: Benchmark - LD0079_vericoded.lean

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

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

Summary: Benchmark - VA0491_vericoded.rs

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

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

Summary: Benchmark - VA0487_vericoded.rs

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

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

Summary: Benchmark - VA0482_vericoded.rs

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

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

Summary: Benchmark - LD0078_vericoded.lean

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

3 files Updated Nov 19, 2025 ID: 3789