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.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 चे पर्याय
सर्व पाहा ›-
ओपन सोर्स१.२ लाख ↓ -
ओपन सोर्स१.३ लाख ↓ -
ओपन सोर्स४६ ह ↓ -
ओपन सोर्स५०.३ ह ↓ -
ओपन सोर्स१२.२ ह ↓ -
ओपन सोर्स१७.७ ह ↓ -
ओपन सोर्स२४.६ ह ↓ - ओपन सोर्स२८.६ ह ↓
वारंवार विचारले जाणारे प्रश्न
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. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.
