Preview Mode Links will not work in preview mode

Mar 29, 2019

Philipp Kant and Jared Corduan of the IOHK Formal Methods team join us to discuss how formal methods makes Cardano the most robust crypto project out there. Watch the full episode on Youtube. Watch Episode 25 and view more information on Youtube: