<p>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: <a title= "Cardano Formal Methods with Philipp Kant and Jared Corduan of IOHK | TCE 25" href= "https://youtu.be/YBwqduxI6Jo">https://youtu.be/YBwqduxI6Jo</a></p>

IOHK Summit with Duncan Coutts, Vasil St. Dabov and GIG | TCE 26

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.