judge-0.1.2.0: Tableau-based theorem prover.

Index - B

BiImplicationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
BindLogic.Judge.Prover.Tableau
booleanLogic.Judge.Formula.Parser, Logic.Judge.Formula
Branch 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
BranchFormulaLogic.Judge.Prover.Tableau