tla+

• tla+ and tla get the same note I guess due to limitations with how [[foam]] handles special characters.
• "If you’re interested in TLA+ I recommend https://learntla.com which uses the simpler notation PlusCal" — from a [[hn]] comment in https://news.ycombinator.com/item?id=26385075.

TLA+

TLA+ is a design specification language. It is used to verify design models.