OpenTheory for ProofPower
This is a very experimental implementation of an OpenTheory Reader and Writer for ProofPower. It needs ProofPower 3.1w1 or later. The writer targets OpenTheory draft version 6. The Reader should be able to input any OpenTheory version 5 or later.
See the OpenTheory Project web site for more information about OpenTheory.
Use the make file opentheory.mkf to process the scripts. For instructions on how to do this type:
make -f opentheory.mkf
and you will be given some help on using the make file.
Copyright (c) 2005-2015 Lemma 1 Ltd.
This file is supplied under the GNU General Public Licence (GPL) version 2.
See the file LICENSE supplied with the ProofPower source for the terms of the GPL or visit the OpenSource web site at http://www.opensource.org/
Contact: Rob Arthan < email@example.com >