Copyright | (c) Till Mossakowski, Uni Bremen 2008 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | till@informatik.uni-bremen.de |

Stability | experimental |

Portability | portable |

Safe Haskell | None |

A truth table prover for propositional logic. Inefficient, but useful for learning purposes.

# Documentation

ttProver :: Prover Sign FORMULA Morphism PropSL ProofTree

The Prover implementation.

Implemented are: a prover GUI.

ttConsistencyChecker :: ConsChecker Sign FORMULA PropSL Morphism ProofTree

The Consistency Cheker.