The internet discovers TLA+. Now what?
Article URL: https://reasonable.io/blog/tla-tutorial/
Comments URL: https://news.ycombinator.com/item?id=49863600
Points: 11
# Comments: 4
原文:https://www.a8q9.cn/en/article/the-internet-discovers-tla-now-what-40f388.html