TLA+ - Blog do Edivaldo - Informações e Notícias sobre Linux

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

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

05/05/2020 Por Edivaldo Brito

Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.