@hackage / Folly

A first order logic library in Haskell

Latest0.2.0.1

About

Metadata

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

  • Maintained by: Dillon Huff

  • Lottery factor: 0

Links

Installation

Readme

An implementation of first order logic in Haskell that includes a library of modules for incorporating first order logic into other programs as well as an executable theorem prover that uses resolution to prove theorems in first order logic.