https://github.com/owickstrom/tlaplus-cli-template

CLI-driven TLA+ project template
https://github.com/owickstrom/tlaplus-cli-template

Last synced: 4 days ago
JSON representation

CLI-driven TLA+ project template

• Host: GitHub
• URL: https://github.com/owickstrom/tlaplus-cli-template
• Owner: owickstrom
• License: mpl-2.0
• Created: 2019-04-27T13:59:40.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-05-05T14:49:40.000Z (over 5 years ago)
• Last Synced: 2024-05-01T23:41:55.352Z (7 months ago)
• Language: Makefile
• Size: 12.7 KB
• Stars: 43
• Watchers: 6
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project