search

leanprover-community / aesop

White-box automation for Lean 4
Apache License 2.0
191 stars 26 forks source link

chore: adaptations for nightly-2024-05-01 #129

Closed kim-em closed 5 months ago

JLimperg commented 5 months ago

Looks great, thanks! Where did the test failures from #128 go?