The Folly package

[ Tags: bsd3, library, program, theorem-provers ] [ Propose Tags ]

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:
Executables Folly-tests, Folly
Downloads 2176 total (77 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees