Hey all, I've just finished my logic prover. I've been working on this as an undergraduate project<br>with my advisor. Right now it only supports simple first order logic but in the spring I'll be adding predicates.<br>Theres also a&nbsp; simple gui&nbsp; written in java 5 which is in the darcs repository. Comments are welcome!
<br><br><br>-Dan<br><br><br><br><a href="http://haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers">http://haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers</a><br><br><a href="http://taz.cs.wcupa.edu/~dmead/code/halp/">
http://taz.cs.wcupa.edu/~dmead/code/halp/</a><br><br>