Implement the proof generation algorithm

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

Insert pseudo code

samanthajlee2 commented 7 years ago

has bugs, but technically done. @sihsob is debugging