Basic implementation for double cuts and iteration

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

Adding and removing double cuts and iteration has not been fully test so probably buggy
Added a couple of new test cases as well as renamed some of the old ones

sihsob commented 7 years ago

@samanthajlee2 Do you think we should just go ahead and merge even though I haven't test thoroughly?

samanthajlee2 commented 7 years ago

sureee let's do it