3 ms·

For those who care to provide constructive criticism, the TLA+ Toolbox issue tracker is just a click away (https://github.com/tlaplus/tlaplus/issues https://git

by pron 8y ago

For those who care to provide constructive criticism, the TLA+ Toolbox issue tracker is just a click away (https://github.com/tlaplus/tlaplus/issues https://github.com/tlaplus/tlaplus/issues) and - since today - even has a UX label.