Delete run_prove

Removed unused file