GitHub repository: krupic2402/bitcoin-blockchain-validation-formal-model
Primary language: Coq
Created: 2020-07-15T02:23:11Z
Description: Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures