Giters

yakuza8 / first-order-predicate-logic-theorem-prover

Autonomous Theorem Prover for First Order Predicate Logic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

yakuza8/first-order-predicate-logic-theorem-prover Stargazers