Upload Code

The open-source library for

formally verified code

Showing 316–330 of 1,735
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0332_vericoded.rs

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

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

Summary: Benchmark - LT0284_vericoded.lean

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

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

Summary: Benchmark - VT0331_vericoded.rs

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

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

Summary: Benchmark - LT0238_vericoded.lean

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

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

Summary: Benchmark - VT0330_vericoded.rs

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

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

Summary: Benchmark - VT0329_vericoded.rs

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

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

Summary: Benchmark - LT0205_vericoded.lean

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

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

Summary: Benchmark - VT0327_vericoded.rs

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

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

Summary: Benchmark - VT0325_vericoded.rs

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

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

Summary: Benchmark - LT0197_vericoded.lean

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

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

Summary: Benchmark - VT0324_vericoded.rs

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

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

Summary: Benchmark - VT0323_vericoded.rs

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

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

Summary: Benchmark - LT0194_vericoded.lean

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

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

Summary: Benchmark - VT0321_vericoded.rs

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

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

Summary: Benchmark - VT0319_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4744