GitHub repository: yichunfeng/Modeling-CKB-Consensus-Protocol
Created: 2020-07-31T06:37:16Z
Description: Modeling and Verification of CKB Consensus Protocol