IDE for the TLA+ tools.
प्रकाशक का विवरण (अंग्रेज़ी)
tlaplus-toolbox क्या है?
tlaplus-toolbox एक ओपन सोर्स Windows सॉफ़्टवेयर है (श्रेणी: विज्ञान और गणित)। Windows के अलावा यह Linux के लिए भी उपलब्ध है।
इंस्टॉलेशन और सिस्टम आवश्यकताएँ
प्रकाशक कोई भी CPU Windows के लिए पोर्टेबल इंस्टॉलर देता है। इसे इंस्टॉल किए बिना चलाया जा सकता है (पोर्टेबल)।
खूबियाँ / कमियाँ
खूबियाँ
- ओपन सोर्स: कोई भी इसका कोड देख और बिल्ड कर सकता है
- पोर्टेबल: बिना इंस्टॉल किए चलता है
- Linux पर भी चलता है
संक्षेप में: tlaplus-toolbox कोई भी CPU PC के लिए एक ओपन सोर्स Windows टूल है (श्रेणी: विज्ञान और गणित)।
मुख्य फ़ीचर
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
क्या tlaplus-toolbox डाउनलोड करना सुरक्षित है?
- फ़ाइल github.com से आती है; जाँच लें कि यह प्रकाशक का आधिकारिक मिरर है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- इस फ़ाइल के लिए कोई हैश प्रकाशित नहीं है
- लिंक अभी जाँचा नहीं गया है
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
हाल के संस्करण
सभी 1 संस्करण ›| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 1.8.0नवीनतम | — | कोई भी CPU ZIP |
कमांड लाइन से इंस्टॉल करें
साइलेंट इंस्टॉल ›scoop install extras/tlaplus-toolboxप्रोग्राम फ़ाइलें (.exe): tlc.exe, toolbox.exe
संबंधित गाइड: winget कैसे इस्तेमाल करें: ऐप इंस्टॉल और अपडेट
दूसरे सिस्टम के लिए भी
flatpak install flathub org.lamport.tla.toolboxजानकारी
- श्रेणी
- विज्ञान और गणित
- लाइसेंस
- MIT
- कीमत
- मुफ़्त
- कंटेंट रेटिंग
- सभी उम्र के लिए
- ज़रूरी सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- कोई भी CPU
- इंस्टॉलर
- पोर्टेबल
- दूसरे प्लेटफ़ॉर्म
- Linux
- संस्करण
- 1.8.0
- सूचीबद्ध संस्करण
- 1
- वेबसाइट
- lamport.azurewebsites.net
- Scoop पैकेज
- extras/tlaplus-toolbox
रेटिंग और रिव्यू
अभी कोई रिव्यू नहीं है। सबसे पहले रेटिंग दें।
tlaplus-toolbox के विकल्प
सभी देखें ›-
ओपन सोर्स1.2 लाख ↓ -
ओपन सोर्स1.3 लाख ↓ -
ओपन सोर्स46 हज़ार ↓ -
ओपन सोर्स50.3 हज़ार ↓ -
ओपन सोर्स12.2 हज़ार ↓ -
ओपन सोर्स17.7 हज़ार ↓ -
ओपन सोर्स24.6 हज़ार ↓ - ओपन सोर्स28.6 हज़ार ↓
अक्सर पूछे जाने वाले सवाल
क्या tlaplus-toolbox मुफ़्त है?
हाँ। tlaplus-toolbox ओपन सोर्स सॉफ़्टवेयर है (MIT लाइसेंस)।
क्या tlaplus-toolbox डाउनलोड करना सुरक्षित है?
फ़ाइल github.com से डाउनलोड होती है; ExeAtlas फ़ाइल को न होस्ट करता है, न बदलता है।
क्या tlaplus-toolbox ARM (Windows on Arm) पर चलता है?
इंस्टॉलर किसी ख़ास आर्किटेक्चर से बँधा नहीं है (architecture-neutral)।
क्या tlaplus-toolbox को एडमिनिस्ट्रेटर अधिकारों के बिना इस्तेमाल किया जा सकता है?
हाँ, यह पोर्टेबल है: फ़ाइल अनपैक करें और चलाएँ।
tlaplus-toolbox के विकल्प कौन-से हैं?
Stellarium, KiCad, Quarto, Qalculate! और JASP। विकल्प पेज पर इनकी तुलना दी गई है।
