dshea89 / HRLPlus Star 5 Code Issues Pull requests Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator. theorem-proving mathematical-logic theorem-prover hrl theorem-generator theorem-generation lakatos lakatos-methods Updated Aug 16, 2020 Java
federicomor / rand-thm Star 1 Code Issues Pull requests Random picker of a theorem from a set of theorems. university theorem-proving exams theorem theorems theorem-generator Updated Mar 5, 2021 Julia