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


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


Related Stories

Leave A Reply

Please enter your comment!
Please enter your name here

Stay on op - Ge the daily news in your inbox