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

Djinn.LJT

module Djinn.LJTFormula

provable :: Formula -> BoolSource

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

type Proof = TermSource

type MoreSolutions = BoolSource