TLA+ Toolbox
Publicado por TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Código abiertoMIT
Partes de esta página aparecen en el idioma en que se escribieron, porque la traducción no está terminada.
Dónde obtenerlo
Linux
- Abrir en FlathubSe abre en una pestaña nuevaRepositorio de paquetesFlathub
Del editor
Instalar desde una terminal
flatpak install flathub org.lamport.tla.toolbox
No alojamos este archivo, no lo analizamos ni inspeccionamos su contenido. Lea lo que indica la fuente y decida por su cuenta.