TLA+ HTML module
72 views
Skip to first unread message
Afonso Fernandes
Jan 1, 2022, 1:52:42 PM1/1/22
to tlaplus
Hello, I created a new module for TLA+ visualization/exploration, similar to the SVG module but for HTML.
The PR: https://github.com/tlaplus/CommunityModules/pull/61
Examples: https://github.com/afonsonf/tlaplus-html-examples
If you have any feedback/suggestions, please leave it here or in the PR.
The PR: https://github.com/tlaplus/CommunityModules/pull/61
Examples: https://github.com/afonsonf/tlaplus-html-examples
If you have any feedback/suggestions, please leave it here or in the PR.
Thanks,
Afonso
Reply all
Reply to author
Forward
0 new messages