Documentation

module Djinn.LJTFormula

provable :: Formula -> Bool Source #

prove :: MoreSolutions -> [(Symbol, Formula)] -> Formula -> [Proof] Source #

type Proof = Term Source #

type MoreSolutions = Bool Source #