Cardano Formal Methods with Philipp Kant and Jared Corduan of IOHK | TCE 25

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

Om Podcasten

The Cardano Effect is a podcast that takes high level developer information and projects that are occurring within the Cardano space and breaks them down into bite sized consumable pieces of information for everyday use.