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>

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

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" rel="noopener noreferrer">https://youtu.be/YBwqduxI6Jo</a>

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

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.

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

Sign up to save your podcasts

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

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