Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
The LLMs used to write these things, do not start by using empathy and a theory of whats in other peoples minds.
bsenftner · · focus · HN ↗
totetsu · · focus · HN ↗