The new AutoProof page will appear here shortly.

In the meantime

Please use the AutoProof tools at the original site.

http://comcom.csail.mit.edu/autoproof/
Open AutoProof Tools