/opentheory

The opentheory tool processes higher order logic theory packages

Primary LanguageStandard MLMIT LicenseMIT

Watchers