uzahKc_ukfM.jpg

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 design patters.

Comments

comments

Leave a Reply

Your email address will not be published. Required fields are marked *