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
Category Theorem Provers
Home page
Uploaded Sat Oct 3 23:06:54 UTC 2015 by dillonhuff
Distributions NixOS:
Downloads 2062 total (31 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees