chore: adaptations for nightly-2024-04-23

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

155 stars 25 forks source link

Closed semorrison closed 2 months ago

JLimperg commented 2 months ago

Looks good, thanks!

semorrison commented 2 months ago

Ooh, unfortunately failing tests. @JLimperg, might you be able to look at these?

JLimperg commented 2 months ago

Fixed the tests. Most of these fixes were already in #117 and #122 but seem to have never made their way to master or nightly-testing.