https://github.com/hengxin/tla2tex
TLA+ Code to TeX Code using tla2tools.jar
https://github.com/hengxin/tla2tex
tex tla tla2tex tlaplus
Last synced: 2 months ago
JSON representation
TLA+ Code to TeX Code using tla2tools.jar
- Host: GitHub
- URL: https://github.com/hengxin/tla2tex
- Owner: hengxin
- Created: 2019-01-10T03:56:43.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-10-27T19:27:47.000Z (over 2 years ago)
- Last Synced: 2025-01-07T19:45:06.674Z (4 months ago)
- Topics: tex, tla, tla2tex, tlaplus
- Language: TeX
- Homepage:
- Size: 7.1 MB
- Stars: 9
- Watchers: 3
- Forks: 1
- Open Issues: 3