Simple proof checker for equational logic
Primary LanguageSchemeMIT LicenseMIT
No issues in this repository yet.