Proof General Home

Proof General Registration

Please register your download using the short form below.
The information provided will only be used to help provide a case for support for Proof General in the future.

If you have already successfully registered you do not need to fill in the form again, so return to the download page. (NB: because of web server updates this form was broken for most of 2005/6 and then again in 2007 so if you tried it then, please do repeat; we're also keen to know of interest in our Eclipse prototype).

Registration Form

Your name:
Your institute name:
I'm trying out the PGEclipse prototype.
Please see also the users mailing list.

Click here to go back to the front page.

Web pages by David Aspinall. Please report issues on PG trac.
Last modified 21 December 2017.