Learn TLA+

July 02, 2022

Comment

Great resource. HN comments at https://news.ycombinator.com/item?id=31952643 also have great insights and links.

Read more