Velvet
An auto-active verifier embedded into Lean
Sort by
Require Order
Loom
d103408Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.