3 ms·

I think you should try TLA+. I found it surprisingly easy: https://beza1e1.tuxen.de/tla-plus.html https://beza1e1.tuxen.de/tla-plus.html Still haven’t found an

by qznc 3y ago

I think you should try TLA+. I found it surprisingly easy: https://beza1e1.tuxen.de/tla-plus.html https://beza1e1.tuxen.de/tla-plus.html Still haven’t found an opportunity to use it professionally though.

thdespou 3y ago
It's not easy. if it was easy, everyone would be using it. I think it's more like thought provoking.