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.

Properties

Versions 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.4.0, 0.1.4.1, 0.1.4.2, 0.1.4.3, 0.1.4.4, 0.1.4.6, 0.1.5.0, 0.1.5.1, 0.1.5.2, 0.2.0.0, 0.2.0.1
Dependencies base (<6), containers, HUnit, parsec [details]
License BSD3
Author Dillon Huff
Maintainer Dillon Huff
Stability Unknown
Category Theorem Provers
Home page https://github.com/dillonhuff/Folly
Uploaded Sat Oct 3 23:06:54 UTC 2015 by dillonhuff
Distributions NixOS:0.2.0.1
Downloads 1941 total (27 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees