Report - Isabelle - web.cs.wpi.eduweb.cs.wpi.edu/~dd/resources_isabelle/isabelle-slides.ballarin.pdf · Contents I Intro & motivation, getting started with Isabelle I Foundations & Principles

Please pass captcha verification before submit form