Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!gatech!prism!pravda!bhatta
From: bhatta@pravda.gatech.edu (Sambasiva Bhatta)
Newsgroups: comp.ai
Subject: Theorem provers
Message-ID: <30195@hydra.gatech.EDU>
Date: 30 May 91 17:59:36 GMT
Sender: news@prism.gatech.EDU
Distribution: usa
Organization: Georgia Tech, College of Computing
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