djinn-lib-0.0.1.3: Generate Haskell code from a type. Library extracted from djinn package.

Djinn.LJT

module Djinn.LJTFormula

provable :: Formula -> Bool Source #

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

type Proof = Term Source #

type MoreSolutions = Bool Source #