Se você trabalha com contêineres e Toolbox, conheça e veja como instalar o emulador de terminal Boxi no Linux via Flatpak.
Toolbox
Como instalar a IDE TLA+ Toolbox no Linux via Flatpak
Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.