Publications

We present the first formalisation of a blockchain-based distributed consensus protocol with a proof of its consistency mechanised in the Coq proof assistant.
In Certified Programs and Proofs, 2018