ParentFull threadqznc·I think you should try TLA+. I found it surprisingly easy: https://beza1e1.tuxen.de/tla-plus.htmlStill haven’t found an opportunity to use it professionally though.View on HN