judge-0.1.2.0: Tableau-based theorem prover.

Index - U

UnionLogic.Judge.Prover.Tableau
UniversalLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
unmarkedLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
UnprocessedLogic.Judge.Prover.Tableau
updateLogic.Judge.PointedList