From: Steve K. Roggenkamp Subject: Need PD theorem prover Date: Message-ID: <639@uncle.UUCP>
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, ···@uncle.UUCP, ···············@osu-cis.cis.ohio-state.edu (614) h:792-8236, w:764-4208;