informalsystems / informalsystems/modelator-py
Feature: quickly get JSON format for a spec
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
Given a TLA+ spec there should be a quick way to learn the structure/format of the JSON that traces of the spec will be given in.
Contributor guide
Assessment
This issue has not been assessed yet.