verse-labLoom

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Displaying 1-2 of 2 versions of Loom
Sort by
  1. Not a part of any version track.
    d103408
    2 days ago
    Released on February 13, 2026 at 4:36:12AM
    Commit d103408 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    36.1 MB Build archive size: 36055059 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.23.0
    3 months ago
    Released on November 16, 2025 at 11:23:02AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0