2020年1月18日
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要
摘要： 作者／Atticbee 在这一集，Greg和RChain的研究人员Isaac，Christian讨论了TLA（Temporal Logic of Actions）和RChain的LADL（Logic As Distribution Law）。下面是Atticbee做的摘要，然后加了一些自己的理解。 阅读全文
posted @ 2020-01-18 11:34 RChain中国 阅读(321) 评论(0) 推荐(0)