DEVCON1: Monadic Design Patterns for the Blockchain – Lucius Greg Meredith

Blockchains.Technology http://youtu.be/uzahKc_ukfM http://youtu.be/uzahKc_ukfM

Day 1, 10:50 GMT Lucius Greg Meredith gives an update on “SpecialK” – the formal verification software being used with Casper + an overview of monadic …

Recent Articles

spot_img

Related Stories

Leave A Reply

Please enter your comment!
Please enter your name here

Stay on op - Ge the daily news in your inbox