Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!europa.asd.contel.com!gatech!prism!pravda!bhatta
From: bhatta@pravda.gatech.edu (Sambasiva Bhatta)
Newsgroups: comp.ai.edu
Subject: Theorem provers
Message-ID: <30197@hydra.gatech.EDU>
Date: 30 May 91 18:06:26 GMT
Sender: news@prism.gatech.EDU
Distribution: usa
Organization: College of Computing, Georgia Tech
Lines: 7

I would appreciate if someone can tell me if there are
any theorem provers available as public domain software
and give pointers to how one can obtain such.

Thank you in advance.

-- sam