Isabelle/HOL

Published: Jan. 28, 2022, 5 a.m.

The Isabelle theorem prover supports different logics, but its most developed seems to be Higher-Order Logic (HOL).\xa0 In this episode, I talk about the logic and approach of Isabelle/HOL, as far as I have understood them.\xa0\xa0