[Haskell-cafe] Halp- haskell logic prover

Dan Mead d.w.mead at gmail.com
Wed Dec 6 00:21:04 EST 2006


Hey all, I've just finished my logic prover. I've been working on this as an
undergraduate project
with my advisor. Right now it only supports simple first order logic but in
the spring I'll be adding predicates.
Theres also a  simple gui  written in java 5 which is in the darcs
repository. Comments are welcome!


-Dan



http://haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers

http://taz.cs.wcupa.edu/~dmead/code/halp/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20061206/0a262502/attachment-0001.htm


More information about the Haskell-Cafe mailing list