Do not speak Portuguese? Translate this site with Google or Bing Translator

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

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.

Leia o artigo completo