572 followers
#blockchain @Algorand
#blockchain @Algorand
RT @CryptAssets: Towards a Verified Model of the Algorand Consensus Protocol in Coq https://t.co/LQ11TKdotr
Towards a Verified Model of the Algorand Consensus Protocol in Coq https://t.co/LQ11TKdotr