Format comments and add actions for proof