Theorem Provers

Article View: comp.lang.prolog

Article #882

#882

From: rameshv
Date: Thu, 07 Jun 1990 22:54

10 lines
719 bytes

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

Technical Details

Message-ID: <13882.266e78af@max.u.washington.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!dali.cs.montana.edu!milton!max!rameshv

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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