Proof Accelerator index page