Programming.
Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?” Designed by Freepik I started playing around with TLA+ and its more programmer friendly variant PlusCal about a year ago. At that time the amount of documentation that was understandable to people like me who do