The Proof General Kit project is in an early pre-experimental stage at the moment. If you are interested in collaborating, or have ideas or suggestions to contribute, please send a note to kit@proofgeneral.org

Planning

Ideas for the future of Proof General are described in these papers:

• David Aspinall. Protocols for Interactive e-Proof. Draft version, see here.
• David Aspinall. Proof General Kit (white paper). Draft version, see here.

Development

Not much has been started yet.
But you can download the DTDs for PGIP and PGML, here:

Comments and contributions welcomed!