Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

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

@abj-paul

Description

@abj-paul

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions