New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Feature] Is there any way to convert Alloy/TLA+ to LTS format? #1

Open

abj-paul opened this issue Apr 16, 2024 · 0 comments

abj-paul commented Apr 16, 2024

I would request your assistance on understanding how it can be done. If you guys are accepting PRs, I would love to add this feature.

Note: I was trying to post on the LTSA forum at wikidot but faced some issues. So I had to raise the question here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment