A graph based prover

Classes

graph Directed graph data structure.
wff Well-formed, propositional formulas.
generated by LDoc 1.4.6 Last updated 2017-08-10 16:45:38