Content
@
0 reply
0 recast
0 reaction
Kaichao
@ksichao
How spec helps thinking in TLA+, https://www.youtube.com/watch?v=-4Yp3j_jk8Q #buildinpublic #todayilearned
0 reply
0 recast
0 reaction