This repository was archived by the owner on Jan 16, 2024. It is now read-only.

Change ProveIt URL to http://proveit.cc.gatech.edu.  Fixes issue 82.