Upload Code

The open-source library for

formally verified code

Showing 256–270 of 1,735
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0640_vericoded.rs

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

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

Summary: Benchmark - VV0156_vericoded.rs

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

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

Summary: Benchmark - VV0095_vericoded.rs

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

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

Summary: Benchmark - VV0047_vericoded.rs

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

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

Summary: Benchmark - VT0638_vericoded.rs

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

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

Summary: Benchmark - VT0410_vericoded.rs

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

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

Summary: Benchmark - LV0018_vericoded.lean

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

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

Summary: Benchmark - VT0409_vericoded.rs

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

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

Summary: Benchmark - VT0406_vericoded.rs

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

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

Summary: Benchmark - LV0006_vericoded.lean

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

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

Summary: Benchmark - VT0405_vericoded.rs

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

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

Summary: Benchmark - VT0403_vericoded.rs

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

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

Summary: Benchmark - LV0005_vericoded.lean

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

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

Summary: Benchmark - VT0394_vericoded.rs

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

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

Summary: Benchmark - VT0391_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4784