chore: adaptations for leanprover/lean4#3040 (changes to termination hints)

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

191 stars 26 forks source link

Closed kim-em closed 8 months ago

kim-em commented 8 months ago

This is the adaptation PR for leanprover/lean4#3040. Only changes are in the tests. Note this is a PR to bump/v4.6.0.

kim-em commented 8 months ago

@nomeata seems straightforward, so I will merge this after CI runs.