Skip to content

Flatpak application containing TLA+ Toolbox

License

Notifications You must be signed in to change notification settings

jesmg/org.lamport.tla.toolbox

Repository files navigation

Flatpak application containing TLA+ Toolbox

This Flatpak contains the TLA+ Toolbox, as is provided in official repository releases.

Pull requests with improvements and issues are welcome.

Future work:

  • Include TLAPS