Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!wuarchive!udel!princeton!siemens!acura!mlg From: mlg@acura.siemens.com (Michael Greenberg) Newsgroups: comp.lang.lisp Subject: Looking for theorem provers Message-ID: Date: 1 Oct 90 21:31:42 GMT Sender: news@siemens.siemens.com Distribution: comp Lines: 9 Can anyone point me to PD theorem provers? Michael Greenberg email: mgreenberg@cadillac.siemens.com Siemens Corporate Research phone: 609-734-3347 755 College Road East Princeton, NJ 08540