An automated equivalence reasoner for Isabelle/HOL
Primary LanguageIsabelleOtherNOASSERTION
No issues in this repository yet.