Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
Primary LanguageJava
No issues in this repository yet.