The latest version of Folly is 0.2.0.1-0.
Folly
Version 0.1.5.1 revision 0 uploaded by dillonhuff.
Package meta
- Synopsis
- A first order logic library in Haskell
- Description
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.
- Author
- Dillon Huff
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- n/a
- Homepage
- https://github.com/dillonhuff/Folly
- Maintainer
- Dillon Huff
- Package URL
- n/a
- Stability
- n/a