[net.ai] WANTED: Theorem Provers

mark@hyper.UUCP (Mark Mendel) (02/15/86)

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