/AR-Scripts

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

Primary LanguageHaskellMIT LicenseMIT

AR-Scripts

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