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। विकल्प पेजमा यिनको तुलना दिइएको छ।
