Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
MP3•Maison d'episode
Manage episode 408636582 series 3564007
Contenu fourni par cyfrin. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par cyfrin ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 episodes