3 ms·
Lamport agrees with that as well, from what I recall going through his videos. PlusCal for most engineers, TLA+ for people who like to think in math. And just
by tonyarkles 8y ago
Lamport agrees with that as well, from what I recall going through his videos. PlusCal for most engineers, TLA+ for people who like to think in math.
And just another Thank You. Your material helped me on my journey too, even though I ended up favouring TLA+ personally.