dshea89/HRLPlus

Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.

语言：Java · GitHub 星标：9 · Fork：0

话题：hrl · lakatos · lakatos-methods · mathematical-logic · theorem-generation · theorem-generator · theorem-prover · theorem-proving

在 GitHub 上查看原仓库