TLA+ Toolbox
Do TLA+ Foundation phát hành
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Mã nguồn mởMIT
Một số phần của trang này đang hiển thị bằng ngôn ngữ gốc, vì bản dịch chưa hoàn tất.
Nơi tải về
Linux
- Mở trên FlathubMở trong tab mớiKho góiFlathub
Từ nhà phát hành
Cài bằng dòng lệnh
flatpak install flathub org.lamport.tla.toolbox
Chúng tôi không lưu trữ tệp này, không quét tệp và không mở tệp ra xem. Hãy đọc những gì nguồn công bố rồi tự quyết định.