Command-line interface to manipulate the proof process.