刚刚在 Haker News 上看到的: http://lamport.azurewebsites.net/video/intro.html
1
qdwang 2017-03-21 09:40:28 +08:00 via iPhone
这里没几个人知道他 更没几个人知道 TLA+
|
2
qdwang 2017-03-21 09:41:45 +08:00 via iPhone
这个 lecture 好新啊 还是谢谢楼主了
|