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.
Sort by
  1. Git dependency.
    Found on Reservoir.

    auto36d85bf

    Experiments on automation for Lean
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.24.0

    The math library of Lean 4