Candidates for equational-reasoning-induction

No candidates exist for equational-reasoning-induction. Upload one for this or another package?