IDE for the TLA+ tools.
د خپرونکي تشریح (انګليسي)
tlaplus-toolbox څه شی دی؟
tlaplus-toolbox د ساینس او ریاضي په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی. له Windows پرته د Linux لپاره هم شته.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د ټول پروسېسرونه Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
- په 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 نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۱ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 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
- جوړښت (Architecture)
- ټول پروسېسرونه
- د نصبوونکي ډول
- پورټېبل
- نور پلاتفورمونه
- Linux
- نسخه
- 1.8.0
- لېست شوې نسخې
- 1
- وېب پاڼه
- lamport.azurewebsites.net
- د Scoop بسته
- extras/tlaplus-toolbox
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د tlaplus-toolbox بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۱۱۸K ↓ -
خلاصه سرچینه (open source)۱۲۶٫۷K ↓ -
خلاصه سرچینه (open source)۴۶K ↓ -
خلاصه سرچینه (open source)۵۰٫۳K ↓ -
خلاصه سرچینه (open source)۱۲٫۲K ↓ -
خلاصه سرچینه (open source)۱۷٫۷K ↓ -
خلاصه سرچینه (open source)۲۴٫۶K ↓ - خلاصه سرچینه (open source)۲۸٫۶K ↓
ډېرې پوښتل شوې پوښتنې
ایا 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. د بدیلونو پاڼه یې سره پرتله کوي.
