Subject: Halp- haskell logic prover
Newsgroups: gmane.comp.lang.haskell.cafe
Date: 2006-12-06 05:21:04 GMT (2 years, 30 weeks, 2 days, 6 hours and 13 minutes ago)
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/
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe <at> haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe