Cardano Formal Methods with Philipp Kant and Jared Corduan of IOHK - Episode 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://ift.tt/2DQabmv Download Yoroi https://yoroiwallet.com Follow us on https://twitter.com/CardanoEffect https://ift.tt/2QpEirx https://ift.tt/2El4wGa 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://ift.tt/2oZWGY4 Telegram: https://ift.tt/2DQai1p Music from ProleteR: Bandcamp : https://ift.tt/2bYOD6B Facebook : https://ift.tt/1bzH7HX Soundcloud : https://ift.tt/GDwvi9 The Cardano Effect is licensed under Creative Commons CC BY 4.0: https://ift.tt/1bFo3O7 ADA Tip Jar: DdzFFzCqrhsviEQfHp1HMbXBk7LMoPXGPijAgDk2D3rpWD3i9sHhsviUB1TiZFyMbTM2z8kkPLHKeB6G5fTzNkY93GGUTBxiAyDXbXn1 #thecardanoeffect #cardano #formalmethods
View on YouTube
No comments:
Post a Comment