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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to