search

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.
0 stars 1 forks source link

test: remove_literal function #24

Open samanthajlee2 opened 7 years ago