rchain:
博客地址：https://www.cnblogs.com/rchain/
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要 通过示例学习rholang（下部：课程8-13） 通过示例学习rholang（上部：课程0-6）
RChain的一键形式化验证：关于RCast 33 – LADL话题的讨论摘要
通过示例学习rholang（下部：课程8-13）
通过示例学习rholang（上部：课程0-6）