IDE for the TLA+ tools.
Yayıncının açıklaması (İngilizce)
tlaplus-toolbox nedir?
tlaplus-toolbox programı bilim ve matematik kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır. Windows dışında Linux için de sürümü var.
Kurulum ve gereksinimler
Yayıncı Tüm işlemciler sistemler için Taşınabilir kurulum dosyası sağlıyor. Kurulum gerektirmeden çalışır (taşınabilir).
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
- Linux üzerinde de çalışıyor
Kısaca: tlaplus-toolbox, Tüm işlemciler bilgisayarlar için açık kaynaklı bir bilim ve matematik aracı.
Öne çıkan özellikler
- 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 indirmek güvenli mi?
- Dosya github.com adresinden geliyor; yayıncının resmî yansısı olduğunu kontrol edin
- İndirme bağlantısı HTTPS kullanıyor
- Bu dosya için hash değeri yayımlanmamış
- Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
1 sürümün tümü ›| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.8.0Güncel | — | Tüm işlemciler ZIP |
Komut satırından kurulum
Sessiz kurulum ›scoop install extras/tlaplus-toolboxProgram dosyaları (.exe): tlc.exe, toolbox.exe
İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Diğer sistemler için de var
flatpak install flathub org.lamport.tla.toolboxBilgiler
- Kategori
- Bilim ve matematik
- Lisans
- MIT
- Fiyat
- Ücretsiz
- İçerik derecesi
- Her yaş
- Gereksinim
- Windows 11 / 10
- Mimari
- Tüm işlemciler
- Kurulum türü
- Taşınabilir
- Diğer platformlar
- Linux
- Sürüm
- 1.8.0
- Kayıtlı sürüm
- 1
- Resmî site
- lamport.azurewebsites.net
- Scoop paketi
- extras/tlaplus-toolbox
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
tlaplus-toolbox alternatifleri
Tümünü gör ›-
Açık kaynak118 B ↓ -
Açık kaynak126,7 B ↓ -
Açık kaynak46 B ↓ -
Açık kaynak50,3 B ↓ -
Açık kaynak12,2 B ↓ -
Açık kaynak17,7 B ↓ -
Açık kaynak24,6 B ↓ - Açık kaynak28,6 B ↓
Sıkça sorulan sorular
tlaplus-toolbox ücretsiz mi?
Evet. tlaplus-toolbox açık kaynaklı bir programdır (MIT lisansı).
tlaplus-toolbox indirmek güvenli mi?
İndirme github.com adresinden gelir. ExeAtlas dosyayı barındırmaz ve değiştirmez.
tlaplus-toolbox ARM işlemcide (Windows on Arm) çalışır mı?
Kurulum dosyası mimariden bağımsız.
tlaplus-toolbox yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
tlaplus-toolbox alternatifleri nelerdir?
Stellarium, KiCad, Quarto, Qalculate! ve JASP. Alternatifler sayfası bunları karşılaştırıyor.
