https://github.com/arranstewart-dev/alloy-analyser-gitpod
Alloy analyser running in gitpod.io
https://github.com/arranstewart-dev/alloy-analyser-gitpod
alloy-analyzer formal-methods modeling-language
Last synced: over 1 year ago
JSON representation
Alloy analyser running in gitpod.io
- Host: GitHub
- URL: https://github.com/arranstewart-dev/alloy-analyser-gitpod
- Owner: arranstewart-dev
- Created: 2022-05-14T12:46:11.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2022-05-14T17:23:47.000Z (about 4 years ago)
- Last Synced: 2024-07-29T16:49:36.992Z (almost 2 years ago)
- Topics: alloy-analyzer, formal-methods, modeling-language
- Language: Python
- Homepage:
- Size: 7.81 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0