GitHub repository: samanthajlee2/ExistentialGraphProofGenerator
Primary language: Python
Created: 2017-03-03T15:02:28Z
Description: Generates Existential Graph Proofs from set of premises to a goal.