Proof Repairer

Configuration

Change the models backing the tool here:

How many actions should the tool recommend?

Which package are you using?

Which action types are allowed?
add-by-hint
add-cases-hint
add-disable-hint
add-do-not-hint
add-enable-hint
add-expand-hint
add-hyp
add-induct-hint
add-library
add-nonlinearp-hint
add-use-hint
use-lemma

Enter the theorem statement from the failed proof attempt:

Copy and paste the checkpoints from the failed proof attempt:

Recommendations

Action Type	Action Object	Confidence