Upload Code

The open-source library for

formally verified code

Showing 406–420 of 1,735
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0221_vericoded.rs

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

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

Summary: Benchmark - LS0052_vericoded.lean

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

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

Summary: Benchmark - VT0219_vericoded.rs

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

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

Summary: Benchmark - VT0218_vericoded.rs

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

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

Summary: Benchmark - LS0051_vericoded.lean

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

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

Summary: Benchmark - VT0217_vericoded.rs

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

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

Summary: Benchmark - VT0216_vericoded.rs

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

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

Summary: Benchmark - LS0049_vericoded.lean

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

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

Summary: Benchmark - VT0214_vericoded.rs

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

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

Summary: Benchmark - VT0213_vericoded.rs

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

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

Summary: Benchmark - LS0046_vericoded.lean

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

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

Summary: Benchmark - VT0212_vericoded.rs

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

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

Summary: Benchmark - VT0211_vericoded.rs

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

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

Summary: Benchmark - LS0044_vericoded.lean

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

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

Summary: Benchmark - VT0209_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4684