Report - A Proof Assistant for Higher-Order Logic - HOL Isabelle · order logic (HOL), using the proof assistant Isabelle. It is written for potential users rather than for our colleagues

Please pass captcha verification before submit form