AIFAD - Automated Induction of Functions over Algebraic Data Types
Primary LanguageOCamlOtherNOASSERTION