[sci.math.symbolic] Need PD theorem prover

skr@uncle.UUCP (Steve K. Roggenkamp) (12/18/89)

I'm looking for a public domain theorem prover, preferably written in C
or Xlisp.  I do not have ftp access to Internet, but I can uucp or email.
Thanks for any assistance.  If there is enough interest, I'll summarize
to the net.

Steve
-- 
Steven K. Roggenkamp, skr@uncle.UUCP, n8emr!uncle!skr@osu-cis.cis.ohio-state.edu
(614) h:792-8236, w:764-4208;