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: https://youtu.be/YBwqduxI6Jo