Ask HN: Do you use TLA+?

Heykuki News

49 points

4 years ago

It's surprising to me that so many crypto projects don't use TLA+. Besides the ones mentioned here (https://lamport.azurewebsites.net/tla/industrial-use.html), does your company use TLA+? Why? Why not?

24 comments

Ask HN: Do you use TLA+? | Heykuki News