Hacker News new | ask | show | jobs
by nonethewiser 264 days ago
Like TLA+?

https://lamport.azurewebsites.net/tla/tla.html