judge-0.1.2.0: Tableau-based theorem prover.

Index - J

JustificationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
justificationLogic.Judge.Formula.Parser, Logic.Judge.Formula