Upload Code

The open-source library for

formally verified code

Showing 451–465 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0170_vericoded.rs

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

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

Summary: Benchmark - LS0029_vericoded.lean

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

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

Summary: Benchmark - VT0169_vericoded.rs

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

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

Summary: Benchmark - VT0166_vericoded.rs

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

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

Summary: Benchmark - LS0028_vericoded.lean

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

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

Summary: Benchmark - VT0165_vericoded.rs

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

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

Summary: Benchmark - VT0160_vericoded.rs

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

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

Summary: Benchmark - LS0027_vericoded.lean

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

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

Summary: Benchmark - VT0159_vericoded.rs

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

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

Summary: Benchmark - LS0026_vericoded.lean

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

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

Summary: Benchmark - VT0152_vericoded.rs

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

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

Summary: Benchmark - VT0147_vericoded.rs

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

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

Summary: Benchmark - LS0024_vericoded.lean

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

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

Summary: Benchmark - VT0146_vericoded.rs

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

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

Summary: Benchmark - VT0136_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4655