3 ms·Have you tried TLA+ and PlusCal?by polskibus 8y agoHave you tried TLA+ and PlusCal?rawoke083600 8y agoNope! But looking into it now :) Thank you sir !