A gentle introduction to Isabelle and Isabelle/HOL
Primary LanguageIsabelleCreative Commons Zero v1.0 UniversalCC0-1.0