Hacker News new | ask | show | jobs
by ligurio 1972 days ago
Software companies widely uses TLA+ https://github.com/ligurio/practical-fm