theorem-generator

There are 0 repository under theorem-generator topic.

dshea89 / HRLPlus
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
theorem-proving theorem-prover mathematical-logic theorem-generator theorem-generation lakatos lakatos-methods hrl
Language:Java 5
federicomor / rand-thm
Random picker of a theorem from a set of theorems.
theorems theorem theorem-generator theorem-proving university exams
Language:Julia 1

dshea89 / HRLPlus