IOHK | Formal Methods - Philipp Kant
4 years ago
[{"url":"https://i.ytimg.com/vi/XEIfy8b1waw/hq720.jpg?sqp=-oaymwEcCOgCEMoBSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCcpqFy6iybl_ElEpMPe-a-td1fhA","width":360,"height":202},{"url":"https://i.ytimg.com/vi/XEIfy8b1waw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYJZv1wG39oSRFhyL-OoivTELB0Q","width":720,"height":404}]
{"url":"https://i.ytimg.com/an_webp/XEIfy8b1waw/mqdefault_6s.webp?du=3000&sqp=CMTcr6kG&rs=AOn4CLD9baGb4nNhiV1a3XQ0aPfFJciDBg","width":320,"height":180}
[{"text":"In this video, IOHK's Philipp Kant discussed the importance of "},{"text":"formal","bold":true},{"text":" methods and why we use this at IOHK. This video was\u00a0..."}]
{"name":"Input Output","id":"UCBJ0p9aCW-W82TwNM-z3V2w","thumbnails":[{"url":"https://yt3.ggpht.com/cwe788XFrwU5gLyS7j1aUtU6zGeOw61CACEXyvUFJn3NLoOhxwZ8tYjJDYg_ix3tmJwJ6pyl1g=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}],"link":"https://www.youtube.com/channel/UCBJ0p9aCW-W82TwNM-z3V2w"}
{"title":"IOHK | Formal Methods - Philipp Kant by Input Output 3,527 views 4 years ago 4 minutes, 21 seconds","duration":"4 minutes, 21 seconds"}