TeePee - a minimalistic Theorem Prover.
See my blog at http://lamacchinadituring.blogspot.com/ for more informations.