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