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/