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.

Follow them on twitter! Philipp Kant https://twitter.com/philipp_kant Jared Corduan https://twitter.com/jaredcorduan

Cardano Clips https://www.youtube.com/channel/UCdeimDIxZTdbWEFYHeQ7akA

Podcast Français Cardano https://www.youtube.com/channel/UCtZbHl5iYV36N8rwEsntedQ

Trezor Model T hardware wallet now supports ADA https://shop.trezor.io/product/trezor-model-t?offer_id=15&aff_id=1728

Download Yoroi https://yoroiwallet.com

Follow us on https://twitter.com/CardanoEffect https://www.facebook.com/cardano.effect https://www.reddit.com/r/thecardanoeffect

Contact us with questions thecardanoeffect@gmail.com

Youtube Channels https://www.youtube.com/c/sebastienguillemot https://www.youtube.com/c/DigitalFortress https://www.youtube.com/c/philpa6

For greater community involvement you can visit the conversations at: Forum: https://forum.cardano.org Telegram: https://t.me/CardanoGeneral

Music from ProleteR: Bandcamp : https://proleter.bandcamp.com/album/curses-from-past-times-ep Facebook : https://www.facebook.com/ProleteR.beats Soundcloud : https://soundcloud.com/proleter-beatmaker

The Cardano Effect is licensed under Creative Commons CC BY 4.0: https://creativecommons.org/licenses/by/4.0/

ADA Tip Jar: DdzFFzCqrhsviEQfHp1HMbXBk7LMoPXGPijAgDk2D3rpWD3i9sHhsviUB1TiZFyMbTM2z8kkPLHKeB6G5fTzNkY93GGUTBxiAyDXbXn1

#thecardanoeffect #cardano #formalmethods ... https://www.youtube.com/watch?v=YBwqduxI6Jo