[Haskell-cafe] Halp- haskell logic prover
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
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...
More information about the Haskell-Cafe