Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)

Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)
Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)
Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)

blockchain,smart contracts,distributed ledger,ethereum,