Candidates for equational-reasoning

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