/hol-light

HOL Light with OpenTheory Support

Primary LanguageOCamlOtherNOASSERTION

Stargazers