[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!



-------------- 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