search

leanprover-community / aesop

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

chore: update to v4.0.0-rc3 #66

Closed kim-em closed 1 year ago

kim-em commented 1 year ago

Apologies, another bump to a release candidate. Finding these problems is definitely motivating me to improve our testing and release process. :-)

kim-em commented 1 year ago

Ugh. This breaks Mathlib. I will try again soon.