Contact Us

We can be contacted using this feedback form, or individually (find email addresses from the wiki user name links).

If you would like to stay up-to-date with developments in Proof General, we have a mailing list you can join.

Proof General was developed at the LFCS in the University of Edinburgh School of Informatics and the University of Bremen. For individual contributions, see PGEmacsCredits, PGKitCredits.

The Proof General project is managed in Edinburgh by DavidAspinall and in Bremen by ChristophLueth .Note that Proof General and all related materials, are copyright University of Edinburgh/University of Bremen except where otherwise stated. However all software is freely available under the GPL open source license.

-- DavidAspinall - 20 Aug 2006