The Isabelle theorem prover supports different logics, but its most developed seems to be Higher-Order Logic (HOL). In this episode, I talk about the logic and approach of Isabelle/HOL, as far as I have understood them.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
