tla (pypi): Parser and abstract syntax tree for TLA+, the temporal logic of actions.
Keywords: TLA+|TLA|temporal logic of actions|formal|specification|expression|formula|module|mathematics|theorem|proof|parser|lexer|parsing|ast|abstract syntax tree|syntax tree|ply|lex