یہاں tlaplus-toolbox کے 1 ورژن درج ہیں۔ ہر ورژن پبلشر کی اپنی انسٹالر فائلوں سے منسلک ہے۔
| ورژن | تاریخ | سائز | فائلیں |
|---|---|---|---|
| 1.8.0تازہ ترین | — | تمام پروسیسر ZIP |
IDE for the TLA+ tools.
یہاں tlaplus-toolbox کے 1 ورژن درج ہیں۔ ہر ورژن پبلشر کی اپنی انسٹالر فائلوں سے منسلک ہے۔
| ورژن | تاریخ | سائز | فائلیں |
|---|---|---|---|
| 1.8.0تازہ ترین | — | تمام پروسیسر ZIP |