Added skeleton of consistency checker algorithm (proof generation)

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

Should contain the majority of the consistency check -> just need to fill out the clean up functions
Hasn't been tested though so definitely buggy