Upload Code

The open-source library for

formally verified code

Showing 436–450 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0190_vericoded.rs

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

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

Summary: Benchmark - LS0036_vericoded.lean

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

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

Summary: Benchmark - VT0189_vericoded.rs

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

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

Summary: Benchmark - LS0035_vericoded.lean

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

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

Summary: Benchmark - VT0187_vericoded.rs

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

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

Summary: Benchmark - VT0184_vericoded.rs

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

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

Summary: Benchmark - LS0032_vericoded.lean

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

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

Summary: Benchmark - VT0179_vericoded.rs

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

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

Summary: Benchmark - VT0178_vericoded.rs

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

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

Summary: Benchmark - LS0031_vericoded.lean

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

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

Summary: Benchmark - VT0177_vericoded.rs

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

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

Summary: Benchmark - VT0176_vericoded.rs

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

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

Summary: Benchmark - VT0174_vericoded.rs

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

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

Summary: Benchmark - LS0030_vericoded.lean

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

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

Summary: Benchmark - VT0172_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4665