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.
    78928ab
    2 months ago
    Released on February 21, 2026 at 2:29:22PM
    Commit 78928ab builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    36.1 MB Build archive size: 36052174 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.23.0
    5 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