GitHub repository: AU-COBRA/PoS-NSB
Primary language: Coq
Created: 2020-07-17T10:43:00Z
Description: A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq