I am pleased to announce that an experimental implementation of an OpenTheory reader and writer for ProofPower is now available in the contrib repository. See:
https://github.com/RobArthan/pp-contrib/tree/master/src/open_theory Regards, Rob.
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
