IDE for the TLA+ tools.
Naşirin təsviri (ingilis)
tlaplus-toolbox nədir?
tlaplus-toolbox proqramı elm və riyaziyyat kateqoriyasına aid açıq mənbəli Windows proqram təminatıdır. Windows-dan başqa Linux üçün də versiyası var.
Quraşdırma və tələblər
Naşir Bütün prosessorlar sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
- Linux üzərində də işləyir
Qısaca: tlaplus-toolbox Bütün prosessorlar kompüterlər üçün açıq mənbəli alətdir (elm və riyaziyyat).
Əsas xüsusiyyətlər
- 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 proqramını yükləmək təhlükəsizdirmi?
- Fayl github.com ünvanından gəlir; bunun naşirin rəsmi güzgüsü olduğunu yoxlayın
- Yükləmə keçidi HTTPS istifadə edir
- Bu fayl üçün heş dərc olunmayıb
- Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 1 versiya ›| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 1.8.0Son versiya | — | Bütün prosessorlar ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›scoop install extras/tlaplus-toolboxProqram faylları (.exe): tlc.exe, toolbox.exe
Əlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Digər sistemlər üçün də var
flatpak install flathub org.lamport.tla.toolboxMəlumat
- Kateqoriya
- Elm və riyaziyyat
- Lisenziya
- MIT
- Qiymət
- Pulsuz
- Məzmun reytinqi
- Bütün yaşlar
- Tələb
- Windows 11 / 10
- Arxitektura
- Bütün prosessorlar
- Quraşdırma növü
- Portativ
- Digər platformalar
- Linux
- Versiya
- 1.8.0
- Qeydə alınmış versiya
- 1
- Rəsmi sayt
- lamport.azurewebsites.net
- Scoop paketi
- extras/tlaplus-toolbox
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
tlaplus-toolbox alternativləri
Hamısına bax ›-
Açıq mənbə118K ↓ -
Açıq mənbə126,7K ↓ -
Açıq mənbə46K ↓ -
Açıq mənbə50,3K ↓ -
Açıq mənbə12,2K ↓ -
Açıq mənbə17,7K ↓ -
Açıq mənbə24,6K ↓ - Açıq mənbə28,6K ↓
Tez-tez verilən suallar
tlaplus-toolbox pulsuzdurmu?
Bəli. tlaplus-toolbox açıq mənbəli proqramdır (MIT lisenziyası).
tlaplus-toolbox proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir. ExeAtlas faylı saxlamır və dəyişmir.
tlaplus-toolbox ARM prosessorda (Windows on Arm) işləyirmi?
Quraşdırma faylı arxitekturadan asılı deyil.
tlaplus-toolbox proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
tlaplus-toolbox alternativləri hansılardır?
Stellarium, KiCad, Quarto, Qalculate! və JASP. Alternativlər səhifəsi onları müqayisə edir.
