stilkov’s Twitter Archive—№ 26,588

SarahJamieLewis But it’s proven with Coq! (I actually have no idea whether this actually means anything and I’m too lazy to change that) prnewswire.com/news-releases/coq-proof-completed-by-carnegie-mellon-professor-confirms-hashgraph-consensus-algorithm-is-asynchronous-byzantine-fault-tolerant-300732658.html