Development Info

Development Information

Proof General follows an open development method. We encourage code contributions, suggestions, and bug reports, from all users. Please refer to the GitHub repository for more pointers and collaboration.

You might also want to look at this wiki page or at the PG trac for older bug reports.

Users Mailing List

We have a mailing list for users, at proofgeneral@inf.ed.ac.uk. Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.

Developers Mailing List

We also have a mailing list for developers, at proofgeneral-devel@inf.ed.ac.uk. Posting is restricted to list members. To subscribe (or unsubscribe), visit this web page.