samanthajlee2/ExistentialGraphProofGenerator Issues
blah
Closed 1new arg: output file name
Closed 2remove nones
Closed 1test: remove_dc function
Updatedalgo help funcs: remove DC's
Closed 1compare pegasus strings functions
Updated 2
Generates Existential Graph Proofs from set of premises to a goal.