Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!dali.cs.montana.edu!milton!max!rameshv
From: rameshv@max.u.washington.edu
Newsgroups: comp.lang.prolog
Subject: Theorem Provers
Message-ID: <13882.266e78af@max.u.washington.edu>
Date: 7 Jun 90 22:54:23 GMT
Organization: University of Washington, Seattle WA
Lines: 10

I would like to know if there are any public domain first order predicate
logic theorem provers available.  I am interested in theorem provers which
can do constructive proofs.

Thanks.

Ramesh.

P.S. Please address all replies to: joo@george.ee.washington.edu or
                                    rameshv@george.ee.washington.edu