Gå offline med appen Player FM !
#7 Hacking Isabelle's Internals - Dan Matichuk
Manage episode 420953639 series 2951423
In this episode we dive into Isabelle, the interactive theorem prover based on Higher Order Logic directly from someone who spent quite some time hacking on its internals.
Me and Daniel also talk about Mizar, Isar, the seL4, and how it is formalized.
Torwards the end of the episode we also talk a little about his current work on the binary analysis of Aarch32 Arm Archtecture at Galois.
82 episoder
Manage episode 420953639 series 2951423
In this episode we dive into Isabelle, the interactive theorem prover based on Higher Order Logic directly from someone who spent quite some time hacking on its internals.
Me and Daniel also talk about Mizar, Isar, the seL4, and how it is formalized.
Torwards the end of the episode we also talk a little about his current work on the binary analysis of Aarch32 Arm Archtecture at Galois.
82 episoder
Alla avsnitt
×Välkommen till Player FM
Player FM scannar webben för högkvalitativa podcasts för dig att njuta av nu direkt. Den är den bästa podcast-appen och den fungerar med Android, Iphone och webben. Bli medlem för att synka prenumerationer mellan enheter.