To reduce the human effort involved in maintaining Coq formal proof scripts, we plan to adapt the software engineering program repair approaches and apply them to proof repair. This talk proposes a mining approach on a recently published Coq dataset, that aims to adapt established software maintenance methodologies to benefit the area of proof maintenance. We would appreciate feedback from the Coq community on our planned approach.