Scripts to help with the Automated Reasoning course. Includes Unification, Rewriting and more
Primary LanguageHaskellMIT LicenseMIT