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).
Click here to go back to the front page.