search

leanprover-community / aesop

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

chore: bump to nightly-2023-08-19 #65

Closed kim-em closed 1 year ago

kim-em commented 1 year ago

I wouldn't usually do a trivial bump to a nightly, but nightly-2023-08-19 is the tentative release candidate for the first official release of Lean 4, so we would like to try everything out on it.

JLimperg commented 1 year ago

Thanks!