Article Details

Hedera Hashgraph Becomes the First Blockchain Tech to be Coq Verified

Retrieved on: 2018-10-20 08:42:30

Tags for this article:

Click the tags to see associated articles and topics

Hedera Hashgraph Becomes the First Blockchain Tech to be Coq Verified. View article details on HISWAI:

Excerpt

<div>Hedera Hashgraph in a next-gen public ledger that has diversified governance. It recently announced that the hashgraph consensus algorithm had ...</div>

Article found on:

View Original Article

This article is found inside other Hiswai user's workspaces. To start your own collection, sign up for free.

Sign Up