judge-0.1.2.0: Tableau-based theorem prover.

Index - N

nameLogic.Judge.Prover.Tableau
namedLogic.Judge.Formula.Parser, Logic.Judge.Formula
NecessaryLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
NegationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
newLogic.Judge.Prover.Tableau
nextLogic.Judge.PointedList
NodeLogic.Judge.Prover.Tableau
NondeterministicLogic.Judge.Prover.Tableau
NoneLogic.Judge.Prover.Tableau