Upload Code

The open-source library for

formally verified code

Showing 526–540 of 1,737
Sort by
Lean Locked
Repo

Summary: Benchmark - LJ0135_vericoded.lean

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

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

Summary: Benchmark - VT0052_vericoded.rs

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

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

Summary: Benchmark - VT0048_vericoded.rs

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

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

Summary: Benchmark - LJ0129_vericoded.lean

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

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

Summary: Benchmark - VT0047_vericoded.rs

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

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

Summary: Benchmark - VT0044_vericoded.rs

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

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

Summary: Benchmark - VT0043_vericoded.rs

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

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

Summary: Benchmark - LJ0128_vericoded.lean

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

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

Summary: Benchmark - VT0040_vericoded.rs

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

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

Summary: Benchmark - VT0039_vericoded.rs

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

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

Summary: Benchmark - VT0037_vericoded.rs

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

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

Summary: Benchmark - LJ0127_vericoded.lean

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

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

Summary: Benchmark - VT0036_vericoded.rs

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

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

Summary: Benchmark - VT0031_vericoded.rs

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

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

Summary: Benchmark - VT0030_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4600