Xref: utzoo comp.ai:5232 comp.lang.lisp:2574 comp.lang.lisp.x:51 comp.theory:120 sci.math:9017 sci.math.symbolic:1052
Path: utzoo!attcan!uunet!aplcen!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!n8emr!uncle!skr
From: skr@uncle.UUCP (Steve K. Roggenkamp)
Newsgroups: comp.ai,comp.lang.lisp,comp.lang.lisp.x,comp.theory,sci.math,sci.math.symbolic
Subject: Need PD theorem prover
Message-ID: <639@uncle.UUCP>
Date: 18 Dec 89 04:18:04 GMT
Reply-To: skr@uncle.UUCP (Steve K. Roggenkamp)
Organization: U.N.C.L.E.
Lines: 10
References:


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;