@hackage / Proper

An implementation of propositional logic in Haskell

Latest0.5.2.0

About

Metadata

  • Last updated , by dillonhuff
  • License BSD-3-Clause

  • Maintained by: Dillon Huff

  • Lottery factor: 0

Links

Installation

Readme

Proper is both an executable theorem prover for Propositional logic and a library for incorporating propositional logic into other Haskell programs. See the github repo for examples of theorem files for the executable.