ఇక్కడ tlaplus-toolbox 1 వెర్షన్లు ఉన్నాయి, నుంచి ప్రస్తుత 1.8.0 వరకు. ప్రతి వెర్షన్ లింక్ ప్రచురణకర్త సొంత ఇన్‌స్టాలర్ ఫైల్‌లకే వెళ్తుంది.
| వెర్షన్ | తేదీ | సైజ్ | ఫైల్‌లు |
|---|---|---|---|
| 1.8.0తాజా | — | ఏ CPU అయినా ZIP |
tlaplus-toolbox పాత వెర్షన్లు డౌన్‌లోడ్
IDE for the TLA+ tools.
- లైసెన్స్ఓపెన్ సోర్స్
- వెర్షన్1.8.0
- అవసరమైన సిస్టమ్Windows 10, 11
సైన్స్ మరియు గణితంలో ఎక్కువ జనాదరణ
అన్నీ చూడండి-
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