Upload Code

The open-source library for

formally verified code

Showing 286–300 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LT0525_vericoded.lean

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

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

Summary: Benchmark - VT0367_vericoded.rs

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

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

Summary: Benchmark - VT0362_vericoded.rs

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

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

Summary: Benchmark - LT0423_vericoded.lean

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

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

Summary: Benchmark - VT0361_vericoded.rs

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

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

Summary: Benchmark - VT0360_vericoded.rs

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

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

Summary: Benchmark - LT0411_vericoded.lean

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

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

Summary: Benchmark - VT0359_vericoded.rs

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

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

Summary: Benchmark - VT0357_vericoded.rs

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

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

Summary: Benchmark - LT0378_vericoded.lean

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

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

Summary: Benchmark - VT0356_vericoded.rs

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

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

Summary: Benchmark - VT0355_vericoded.rs

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

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

Summary: Benchmark - LT0376_vericoded.lean

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

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

Summary: Benchmark - VT0354_vericoded.rs

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

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

Summary: Benchmark - VT0352_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4764