IDE for the TLA+ tools.
ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਵੇਰਵਾ (ਅੰਗਰੇਜ਼ੀ)
tlaplus-toolbox ਕੀ ਹੈ?
tlaplus-toolbox ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਸਾਫ਼ਟਵੇਅਰ ਹੈ (ਸ਼੍ਰੇਣੀ: ਵਿਗਿਆਨ ਅਤੇ ਗਣਿਤ)। Windows ਤੋਂ ਇਲਾਵਾ ਇਹ Linux ਲਈ ਵੀ ਮਿਲਦਾ ਹੈ।
ਇੰਸਟਾਲੇਸ਼ਨ ਅਤੇ ਸਿਸਟਮ ਲੋੜਾਂ
ਪ੍ਰਕਾਸ਼ਕ ਕੋਈ ਵੀ CPU Windows ਲਈ ਪੋਰਟੇਬਲ ਇੰਸਟਾਲਰ ਦਿੰਦਾ ਹੈ। ਇਸ ਨੂੰ ਇੰਸਟਾਲ ਕੀਤੇ ਬਿਨਾਂ ਚਲਾਇਆ ਜਾ ਸਕਦਾ ਹੈ (ਪੋਰਟੇਬਲ)।
ਖ਼ੂਬੀਆਂ / ਕਮੀਆਂ
ਖ਼ੂਬੀਆਂ
- ਓਪਨ ਸੋਰਸ: ਕੋਈ ਵੀ ਇਸ ਦਾ ਕੋਡ ਦੇਖ ਅਤੇ ਬਿਲਡ ਕਰ ਸਕਦਾ ਹੈ
- ਪੋਰਟੇਬਲ: ਇੰਸਟਾਲ ਕੀਤੇ ਬਿਨਾਂ ਚੱਲਦਾ ਹੈ
- Linux ਉੱਤੇ ਵੀ ਚੱਲਦਾ ਹੈ
ਸੰਖੇਪ ਵਿੱਚ: tlaplus-toolbox ਕੋਈ ਵੀ CPU PC ਲਈ ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਟੂਲ ਹੈ (ਸ਼੍ਰੇਣੀ: ਵਿਗਿਆਨ ਅਤੇ ਗਣਿਤ)।
ਮੁੱਖ ਫ਼ੀਚਰ
- 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 ਵਰਜ਼ਨ ›| ਵਰਜ਼ਨ | ਤਾਰੀਖ਼ | ਆਕਾਰ | ਫ਼ਾਈਲਾਂ |
|---|---|---|---|
| 1.8.0ਨਵਾਂ ਵਰਜ਼ਨ | — | ਕੋਈ ਵੀ CPU ZIP |
ਕਮਾਂਡ ਲਾਈਨ ਤੋਂ ਇੰਸਟਾਲ ਕਰੋ
ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ›scoop install extras/tlaplus-toolboxਪ੍ਰੋਗਰਾਮ ਫ਼ਾਈਲਾਂ (.exe): tlc.exe, toolbox.exe
ਸੰਬੰਧਿਤ ਗਾਈਡ: winget ਕਿਵੇਂ ਵਰਤੀਏ: ਐਪਾਂ ਇੰਸਟਾਲ ਅਤੇ ਅੱਪਡੇਟ ਕਰੋ
ਹੋਰ ਸਿਸਟਮਾਂ ਲਈ ਵੀ
flatpak install flathub org.lamport.tla.toolboxਜਾਣਕਾਰੀ
- ਸ਼੍ਰੇਣੀ
- ਵਿਗਿਆਨ ਅਤੇ ਗਣਿਤ
- ਲਾਇਸੈਂਸ
- MIT
- ਕੀਮਤ
- ਮੁਫ਼ਤ
- ਸਮੱਗਰੀ ਰੇਟਿੰਗ
- ਹਰ ਉਮਰ ਲਈ
- ਲੋੜੀਂਦਾ ਸਿਸਟਮ
- Windows 11 / 10
- ਆਰਕੀਟੈਕਚਰ
- ਕੋਈ ਵੀ CPU
- ਇੰਸਟਾਲਰ
- ਪੋਰਟੇਬਲ
- ਹੋਰ ਪਲੇਟਫ਼ਾਰਮ
- Linux
- ਵਰਜ਼ਨ
- 1.8.0
- ਦਰਜ ਵਰਜ਼ਨ
- 1
- ਵੈੱਬਸਾਈਟ
- lamport.azurewebsites.net
- Scoop ਪੈਕੇਜ
- extras/tlaplus-toolbox
ਰੇਟਿੰਗ ਅਤੇ ਰਿਵਿਊ
ਅਜੇ ਕੋਈ ਰਿਵਿਊ ਨਹੀਂ ਹੈ। ਸਭ ਤੋਂ ਪਹਿਲਾਂ ਰੇਟਿੰਗ ਦਿਓ।
tlaplus-toolbox ਦੇ ਬਦਲ
ਸਾਰੀਆਂ ਦੇਖੋ ›-
ਓਪਨ ਸੋਰਸ1.2 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ1.3 ਲੱਖ ↓ -
ਓਪਨ ਸੋਰਸ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) ਉੱਤੇ ਚੱਲਦਾ ਹੈ?
ਇੰਸਟਾਲਰ ਕਿਸੇ ਖ਼ਾਸ ਆਰਕੀਟੈਕਚਰ ਨਾਲ ਬੱਝਿਆ ਨਹੀਂ ਹੈ (architecture-neutral)।
ਕੀ tlaplus-toolbox ਨੂੰ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰਾਂ ਤੋਂ ਬਿਨਾਂ ਵਰਤਿਆ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ, ਇਹ ਪੋਰਟੇਬਲ ਹੈ: ਫ਼ਾਈਲ ਅਨਪੈਕ ਕਰੋ ਅਤੇ ਚਲਾਓ।
tlaplus-toolbox ਦੇ ਬਦਲ ਕਿਹੜੇ ਹਨ?
Stellarium, KiCad, Quarto, Qalculate! ਅਤੇ JASP। ਬਦਲਾਂ ਵਾਲੇ ਪੰਨੇ ਉੱਤੇ ਇਹਨਾਂ ਦੀ ਤੁਲਨਾ ਦਿੱਤੀ ਗਈ ਹੈ।
