TLA+ Toolbox
Publicado por TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Código abertoMIT
Partes desta página aparecem no idioma em que foram escritas, porque a tradução não está concluída.
Onde obter
Linux
- Abrir no FlathubAbre em uma nova abaRepositório de pacotesFlathub
Do publicador
Instalar pelo terminal
flatpak install flathub org.lamport.tla.toolbox
Não hospedamos este arquivo, não fazemos varredura nele nem inspecionamos seu conteúdo. Leia o que a fonte diz e decida por conta própria.