The opentheory tool processes higher order logic theory packages
Primary LanguageStandard MLMIT LicenseMIT