judge-0.1.2.0: Tableau-based theorem prover.

Index - W

withFocusLogic.Judge.PointedList
writeLogic.Judge.Writer
writeBodyLogic.Judge.Writer
writeFooterLogic.Judge.Writer
writeHeaderLogic.Judge.Writer