Hacker News new | ask | show | jobs
by jeffreygoesto 890 days ago
TLA+ comes to mind

[0] https://www.learntla.com/index.html