An automatic theorem prover for first order logic with equality
Primary LanguageStandard MLMIT LicenseMIT