PrototypeCommon
verse-lab/loom
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.
- Owner
- verse-lab (organization)
- Stars
- Stars: 167
- Forks
- Forks: 12
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by verse-lab
All 5 repos by verse-lab- verse-lab/veilStars: 350LeanAlpha
- verse-lab/velvetStars: 134LeanPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype
Nearby in Lean
All Lean repos- formalabstracts/formalabstractsStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- Verified-zkEVM/VCVioStars: 168LeanPrototype
- Verilean/sparkleStars: 166LeanPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype
- PatrickMassot/verbose-lean4Stars: 163LeanPrototype