基于去中心化区块链的自动可验证正确（认证）代码存储以及通用区块链平台，Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform, (2017-09-23, Haskell, 0KB, 下载0次)