PrototypeCommune
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.
- Propriétaire
- verse-lab (organisation)
- Étoiles
- Étoiles : 167
- Forks
- Forks : 12
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de verse-lab
Les 5 dépôts de verse-lab- verse-lab/veilÉtoiles : 350LeanAlpha
- verse-lab/velvetÉtoiles : 134LeanPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
D’autres dépôts Lean
Tous les dépôts Lean- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 168LeanPrototype
- Verilean/sparkleÉtoiles : 166LeanPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype