The Folly package

[Tags:bsd3, library, program]

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.


Dependencies base (<6), containers, HUnit, parsec [details]
License BSD3
Author Dillon Huff
Maintainer Dillon Huff
Stability Unknown
Category Theorem Provers
Home page
Uploaded Sat Oct 3 23:06:54 UTC 2015 by dillonhuff
Distributions NixOS:
Downloads 1941 total (27 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees