Preview Mode Links will not work in preview mode

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 us on Youtube

The Cardano Effect: https://www.youtube.com/c/thecardanoeffect

Cardano Clips:https://www.youtube.com/c/cardanoclips

 

Trezor Model T hardware wallet now supports ADA

https://shop.trezor.io/product/trezor-model-t?offer_id=15&aff_id=1728

 

Follow us on

https://twitter.com/CardanoEffect

https://www.facebook.com/cardano.effect

https://www.reddit.com/r/thecardanoeffect

 

Sebastien's channel: https://www.youtube.com/c/sebastienguillemot

Rick's channel: https://www.youtube.com/c/DigitalFortress

Philippe's channel: 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

 

ADA Tip Jar: DdzFFzCqrhsviEQfHp1HMbXBk7LMoPXGPijAgDk2D3rpWD3i9sHhsviUB1TiZFyMbTM2z8kkPLHKeB6G5fTzNkY93GGUTBxiAyDXbXn1