Upload Code

The open-source library for

formally verified code

Showing 481–495 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0112_vericoded.rs

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

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

Summary: Benchmark - LS0012_vericoded.lean

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

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

Summary: Benchmark - VT0111_vericoded.rs

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

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

Summary: Benchmark - VT0109_vericoded.rs

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

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

Summary: Benchmark - VT0108_vericoded.rs

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

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

Summary: Benchmark - LS0007_vericoded.lean

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

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

Summary: Benchmark - VT0107_vericoded.rs

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

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

Summary: Benchmark - VT0106_vericoded.rs

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

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

Summary: Benchmark - VT0105_vericoded.rs

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

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

Summary: Benchmark - LS0006_vericoded.lean

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

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

Summary: Benchmark - VT0104_vericoded.rs

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

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

Summary: Benchmark - VT0103_vericoded.rs

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

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

Summary: Benchmark - VT0102_vericoded.rs

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

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

Summary: Benchmark - LS0005_vericoded.lean

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

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

Summary: Benchmark - VT0101_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4634