search

samanthajlee2 / ExistentialGraphProofGenerator

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

algo help funcs: remove bigger cut when empty cut in bigger cut #15

Closed samanthajlee2 closed 7 years ago

samanthajlee2 commented 7 years ago

given tree, remove bigger cut, when empty cut in bigger cut

samanthajlee2 commented 7 years ago

beverly did this