judge-0.1.2.0: Tableau-based theorem prover.

Index - C

ChooseLogic.Judge.Prover.Tableau
ClassicalLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ClosureLogic.Judge.Prover.Tableau
combinationsLogic.Judge.Prover.Tableau
commentsLogic.Judge.Formula.Parser, Logic.Judge.Formula
CompositorLogic.Judge.Prover.Tableau
compositorLogic.Judge.Prover.Tableau
ConjunctionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
ConstraintLogic.Judge.Prover.Tableau
constraintLogic.Judge.Prover.Tableau
consumptionsLogic.Judge.Prover.Tableau
contextMapLogic.Judge.PointedList
counterLogic.Judge.Prover.Tableau
currentLogic.Judge.PointedList