IDE for the TLA+ tools.
გამომცემლის აღწერა (ინგლისური)
რა არის tlaplus-toolbox?
tlaplus-toolbox — ღია კოდის Windows პროგრამა კატეგორიიდან „მეცნიერება და მათემატიკა“. Windows-ის გარდა, ხელმისაწვდომია ასევე: Linux.
ინსტალაცია და მოთხოვნები
გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: ნებისმიერი პროცესორი. მუშაობს ინსტალაციის გარეშე (პორტატული).
დადებითი მხარეები / უარყოფითი მხარეები
დადებითი მხარეები
- ღია კოდი: ნებისმიერს შეუძლია კოდის შემოწმება და აწყობა
- პორტატული: ინსტალაცია არ სჭირდება
- მუშაობს ასევე: Linux
მოკლედ: tlaplus-toolbox — ღია კოდის ხელსაწყო (მეცნიერება და მათემატიკა) კომპიუტერებისთვის: ნებისმიერი პროცესორი.
ძირითადი შესაძლებლობები
- 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 საინსტალაციო ფაილებს არ ინახავს, არ ფუთავს და არ ცვლის
დაკავშირებული ინსტრუქცია: როგორ შევამოწმოთ ფაილის SHA256 ჰეში Windows-ზე
ბოლო ვერსიები
ყველა ვერსია (1) ›| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 1.8.0უახლესი | — | ნებისმიერი პროცესორი ZIP |
ინსტალაცია ბრძანებათა ხაზიდან
ჩუმი ინსტალაცია ›scoop install extras/tlaplus-toolboxპროგრამის ფაილები (.exe): tlc.exe, toolbox.exe
დაკავშირებული ინსტრუქცია: როგორ გამოვიყენოთ winget: ინსტალაცია და განახლება
ხელმისაწვდომია სხვა სისტემებისთვისაც
flatpak install flathub org.lamport.tla.toolboxინფორმაცია
- კატეგორია
- მეცნიერება და მათემატიკა
- ლიცენზია
- MIT
- ფასი
- უფასო
- შინაარსის რეიტინგი
- ყველა ასაკი
- მოთხოვნები
- Windows 11 / 10
- არქიტექტურა
- ნებისმიერი პროცესორი
- ინსტალერის ტიპი
- პორტატული
- სხვა პლატფორმები
- Linux
- ვერსია
- 1.8.0
- აღრიცხული ვერსიები
- 1
- ოფიციალური საიტი
- lamport.azurewebsites.net
- Scoop პაკეტი
- extras/tlaplus-toolbox
შეფასებები და მიმოხილვები
მიმოხილვები ჯერ არ არის. შეაფასეთ პირველმა.
tlaplus-toolbox: ალტერნატივები
ყველას ნახვა ›-
ღია კოდი118 ათ. ↓ -
ღია კოდი126,7 ათ. ↓ -
ღია კოდი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)?
ინსტალერი არქიტექტურაზე დამოკიდებული არ არის.
შეიძლება თუ არა tlaplus-toolbox ადმინისტრატორის უფლებების გარეშე გამოვიყენოთ?
დიახ, ის პორტატულია: გახსენით არქივი და გაუშვით.
რა ალტერნატივები არსებობს პროგრამისთვის tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! და JASP. ალტერნატივების გვერდზე ისინი შედარებულია.
