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.
    2c7dbe7
    a month ago
    Released on December 1, 2025 at 9:04:09AM
    Commit 2c7dbe7 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    36.0 MB Build archive size: 35986903 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.23.0
    2 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