3 ms·
There's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s-pluscal https://learntla.com/intro/faq.ht
by pramodbiligiri 5mo ago
There's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s-pluscal https://learntla.com/intro/faq.html?highlight=pluscal#what-s...