TLA+ Toolbox
Опубликовано: TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Открытый исходный кодMIT
Часть этой страницы показана на языке оригинала, потому что перевод не закончен.
Где скачать
Linux
- Открыть на FlathubОткроется в новой вкладкеРепозиторий пакетовFlathub
От издателя
Установка из терминала
flatpak install flathub org.lamport.tla.toolbox
Мы не размещаем этот файл у себя, не сканируем его и не изучаем его содержимое. Прочитайте, что пишет источник, и решайте сами.