TLA+ Toolbox
Diterbitkan oleh TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Sumber terbukaMIT
Sebagian halaman ini tampil dalam bahasa aslinya karena terjemahannya belum selesai.
Tempat mendapatkannya
Linux
- Buka di FlathubTerbuka di tab baruRepositori paketFlathub
Dari penerbit
Pasang dari terminal
flatpak install flathub org.lamport.tla.toolbox
Kami tidak menghosting berkas ini, tidak memindainya, dan tidak memeriksa isinya. Baca keterangan sumbernya, lalu putuskan sendiri.