judge-0.1.3.0: Tableau-based theorem prover for justification logic.

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