Release for PR 6639

pr-release-6639

chore: simp_nf the bv_normalize simp set as far as possible

Release for PR 6638

pr-release-6638

chore: fix space in docstring

Release for PR 6637

pr-release-6637

.

Release for PR 6636

feat: model construction for offset constraints

This PR implements model construction for offset constraints in the
`grind` tactic.

Release for PR 6635

chore: display E-matching theorems in `goalToMessageData`

This PR includes the activated E-matching theorems and their patterns
in `goalToMessageData`

Release for PR 6634

pr-release-6634

feat: allow conversion of binders to instance-implicit

Release for PR 6633

pr-release-6633

chore: fix message

Release for PR 6630

pr-release-6630

chore: remove ugly suffices

Release for PR 6628

pr-release-6628

chore: fix docstrings

Release for PR 6573

pr-release-6573

Merge remote-tracking branch 'origin/master' into paul/alter-alter