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.

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
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
Executables Folly-tests, Folly
Downloads 2309 total (112 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees