You just read:

Coq Proof Completed By Carnegie Mellon Professor Confirms Hashgraph Consensus Algorithm Is Asynchronous Byzantine Fault Tolerant

News provided by

Hedera Hashgraph

Oct 17, 2018, 12:01 ET