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 …
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 …