Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
MP3•Episodio en casa
Manage episode 408636582 series 3564007
Contenido proporcionado por cyfrin. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente cyfrin o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 episodios