येथे tlaplus-toolbox च्या १ आवृत्ती आहेत, पासून सध्याच्या 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