chore: move to v4.7.0-rc1

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

191 stars 26 forks source link

Closed kim-em closed 7 months ago

kim-em commented 7 months ago

This PR is the supremum of previously reviewed PRs to the bump/v4.7.0 branch.