Publications

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