The Proof General project was initiated in 1994 (under the name of "lego-mode") and coordinated until October 1998 by Thomas Kleymann. Since October 1998, David Aspinall has been in charge of Proof General.
The project has benefited from funding by EPSRC and the EC.
The generic base for Proof General was developed at the LFCS by Kleymann, Sequeira, Goguen and Aspinall (in order of appearance). It follows some of the ideas used in Project CROAP.
The authors and current maintainers of the various instantiations of Proof General are mentioned on the
For more on the history of the development of Proof General, see the
Have you any questions, comments, or suggestions about Proof General?
Send us a message using this form.
Discuss Proof General with other users and receive announcements by joining our mailing list.