VeriLib

Lean

Summary: SL_LEAN_ZIP

Repo: https://github.com/kim-em/lean-zip.git

@baifdemoa 77 files Jun 8, 2026 ID: 5082

Lean

Lean Verified ✓

Summary: Benchmark - LV0135_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 4098

Rust

Verus

Summary: Benchmark - VT0125_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4649

Lean

Lean Verified ✓

Summary: Benchmark - LC0033_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3760

Rust

Verus

Summary: Benchmark - VV0144_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4956

Rust

Verus

Summary: Benchmark - VD0573_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4311

Lean

Lean Verified ✓

Summary: Benchmark - LJ0099_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3973

Rust

Verus

Summary: Benchmark - VT0064_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4618

Lean

Lean Verified ✓

Summary: Benchmark - LA0404_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3635

Rust

Verus

Summary: Benchmark - VD0197_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4280

Rust

Verus

Summary: Benchmark - VT0495_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4831

Lean

Lean Verified ✓

Summary: Benchmark - LJ0039_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3942

Rust

Verus

Summary: Benchmark - VJ0084_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4493

Rust

Verus

Summary: Benchmark - VA0491_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4155

Rust

Verus

Summary: Benchmark - VT0427_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4800

Lean

Lean Verified ✓

Summary: Benchmark - LJ0073_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3961