Report - HOL Isabelleisabelle.in.tum.de/dist/Isabelle/doc/tutorial.pdfPreface This volume is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof

Please pass captcha verification before submit form