chore: adapt to nightly-2024-02-08

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

Note this is a PR to the bump/v4.7.0 branch.

kim-em commented 7 months ago

Thanks @JLimperg looks good to me. This indenting stuff is a nightmare. Please merge if you're happy as is.

JLimperg commented 7 months ago

Oh yeah, I hate it with a passion. Thanks for the PR as always!