https://github.com/hengxin/tlaplus-pluscal-utils
Utilities for TLA+ and PlusCal
https://github.com/hengxin/tlaplus-pluscal-utils
pluscal tlaplus utils
Last synced: 8 months ago
JSON representation
Utilities for TLA+ and PlusCal
- Host: GitHub
- URL: https://github.com/hengxin/tlaplus-pluscal-utils
- Owner: hengxin
- License: mit
- Created: 2019-02-01T13:41:12.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-04-22T06:58:59.000Z (over 4 years ago)
- Last Synced: 2025-01-07T19:44:58.935Z (9 months ago)
- Topics: pluscal, tlaplus, utils
- Language: TLA
- Size: 1.22 MB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 1