|
|
|
|
|
|
by tonyarkles
2608 days 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. |
|
|