Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site hyper.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!stolaf!mmm!umn-cs!hyper!mark
From: mark@hyper.UUCP (Mark Mendel)
Newsgroups: net.wanted.sources,net.ai,net.lang.lisp
Subject: WANTED: Theorem Provers
Message-ID: <287@hyper.UUCP>
Date: Sat, 15-Feb-86 13:59:40 EST
Article-I.D.: hyper.287
Posted: Sat Feb 15 13:59:40 1986
Date-Received: Wed, 19-Feb-86 00:58:56 EST
Distribution: net
Organization: Network Systems Corp., Mpls., Mn.
Lines: 13
Xref: watmath net.wanted.sources:1911 net.ai:3296 net.lang.lisp:712

I would like to get my hands on a PD or otherwise free theorem prover.
Anything from resolution to Boyer-Moore would be OK.  Lisp preferable, though
C would be OK.

Please respond via mail.  

Also, I think that such a thing really should be in the mod.sources archive.
So if you offer me something you've written, please indicate whether it's OK if
I submit it.

Thanks in advance,
	Mark G. Mendel
	{ihnp4,umn-cs}!hyper!mark