https://github.com/tlaplus-community/tlaplus-tool-dev-examples

Examples to get you started creating TLA+ development tools
https://github.com/tlaplus-community/tlaplus-tool-dev-examples

Last synced: about 1 month ago
JSON representation

Examples to get you started creating TLA+ development tools

• Host: GitHub
• URL: https://github.com/tlaplus-community/tlaplus-tool-dev-examples
• Owner: tlaplus-community
• License: mit
• Created: 2021-08-24T15:40:28.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-07-06T15:13:56.000Z (over 2 years ago)
• Last Synced: 2023-03-22T20:55:19.568Z (almost 2 years ago)
• Language: Python
• Size: 17.6 KB
• Stars: 2
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project