The internet discovers TLA+. Now what?

Posted 16 hours ago by matt_d
108 points

https://reasonable.io/blog/tla-tutorial/

24 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..