Title: It&#x27;s surprising to me that so many crypto projects don&#x27;t use TLA+.
Besides the ones mentioned here (<a href="https:&#x2F;&#x2F;lamport.azurewebsites.net&#x2F;tla&#x2F;industrial-use.html" rel="nofollow">https:&#x2F;&#x2F;lamport.azurewebsites.net&#x2F;tla&#x2F;industrial-use.html</a>), does your company use TLA+?
Why? Why not?
Upvote: