Convert the base tree into a squashed tree for and statements

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

^Title

Also added in a basic script to create the trees
Have a base file (existential_statement.py) for eventual implementation of existential graph components
Added a .gitignore