Isabelle/HOL: A Proof Assistant for Higher-Order Logic

E238246 UNEXPLORED

"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" is a foundational book and system documentation that presents the Isabelle/HOL interactive theorem prover, widely used for formal verification and higher-order logic reasoning in computer science and mathematics.

Jump to: Surface forms Referenced by

Observed surface forms (1)

Surface form	Occurrences
Isabelle/HOL tutorial and reference manuals	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Tobias Nipkow → notableWork → Isabelle/HOL: A Proof Assistant for Higher-Order Logic ⓘ

this entity surface form: Isabelle/HOL tutorial and reference manuals