))
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
Indhold leveret af cyfrin. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af cyfrin eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 episoder
Del
