search

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.
0 stars 1 forks source link

WIP removing double cuts from entire tree #20

Closed sihsob closed 7 years ago

sihsob commented 7 years ago

Will be buggy bc function not fully implemented