Transform standard tree into existential graph tree

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.

0 stars 1 forks source link

Closed sihsob closed 7 years ago

sihsob commented 7 years ago

Fixed some bugs in squash tree
Setup base classes for existential graph trees
Implemented transform into EG tree (may have some bugs but so far seems to work)