Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.
Leia o artigo completoComo 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.
Leia o artigo completoComo instalar a IDE TLA+ Toolbox no Linux via Flatpak