[ProofPower Logo]

ProofPower Specifications and Proofs

Contributing Documentation Download Examples Getting Home Mailing List Papers Patches Specifications
This directory contains a selection of documents containing formal specifications or proofs. These include some of the formal specifications of ProofPower, those concerned with the Logic implemented in ProofPower and high level aspects of ProofPower itself.

The papers are supplied as PDF files.

Some scripts which used to be on a predecessor of this page are now incorporated in the ProofPower system, so you may like to read some of the ProofPower documentation.

Copyright © Lemma 1 Ltd.
Created by  Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2004/06/28 13:13:54 $
[Lemma 1 Logo]