Isabelle/HOL
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.
Explore " isabelle hol" with insightful episodes like and "Isabelle/HOL" from podcasts like " and "Iowa Type Theory Commute"" and more!
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.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io