부터 현재 버전 1.8.0까지 tlaplus-toolbox의 1개 버전을 모았습니다. 모든 버전은 제공사의 공식 설치 파일로 연결됩니다.
| 버전 | 날짜 | 크기 | 파일 |
|---|---|---|---|
| 1.8.0최신 | — | 모든 CPU ZIP |
tlaplus-toolbox 이전 버전 및 전체 버전
IDE for the TLA+ tools.
- 라이선스오픈 소스
- 버전1.8.0
- 요구 사항Windows 10, 11
과학 및 수학 인기 1위
전체 보기-
Stellarium과학 및 수학 · Stellarium team -
KiCad과학 및 수학 · KiCad -
Quarto과학 및 수학 · Rstudio, PBC -
Qalculate!과학 및 수학 · Hanna Knutsson -
JASP과학 및 수학 · Universiteit van Amsterdam -
OpenChrom과학 및 수학 · Lablicate GmbH -
Klayout - Layout Viewer And Editor과학 및 수학 · Matthias Koefferlein - scilab과학 및 수학 · Dassault Systèmes
-
Avogadro과학 및 수학 · Humanity -
fend과학 및 수학 · printfn