Generates Existential Graph Proofs from set of premises to a goal.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool