Copy this code to embed this Smash Notes episode into your website
<iframe src='https://smashnotes.com/p/aws-podcast/e/337-provable-security-podcast-series-episode-2-automated-reasoning-in-the-cloud-with-john-harrison/embed' width='100%' height='500' style='border: 2px solid rgba(215, 223, 249, 0.89);' frameborder='0' loading='lazy'></iframe>
Your episode will look like this 👇