http://lamport.azurewebsites.net/tla/tools.html
TLA toolbox
http://lamport.azurewebsites.net/tla/toolbox.html
flatpak/
    org.lamport.tla.toolbox