PrototypeCommon
AlloyTools/models
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
- Owner
- AlloyTools (organization)
- Stars
- Stars: 145
- Forks
- Forks: 30
- Language
- Alloy
- License
- Apache-2.0
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AlloyTools
All 2 repos by AlloyTools- AlloyTools/org.alloytools.alloyStars: 881JavaBeta