Full threadligurio·Software companies widely uses TLA+ https://github.com/ligurio/practical-fmView on HN