Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Isabelle is an interactive theorem prover, mostly used as Isabelle/HOL which is based on higer-order logic

Isabelle is a generic interactive prover. The most-used instance is Isabelle/HOL, a theorem prover based on Higher-order logic.

External links