TLA+ Toolbox

公開元: TLA+ Foundation

TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

オープンソースMIT

翻訳が未完了のため、このページの一部は書かれた言語のまま表示されています。

入手先

パッケージリポジトリFlathub
発行元から
Flathub で開く新しいタブで開きます
ターミナルからインストール
flatpak install flathub org.lamport.tla.toolbox

当サイトはこのファイルをホストしておらず、スキャンも内容の確認も行いません。出典の記載を読み、ご自身で判断してください。