search

leanprover-community / quote4

Intuitive, type-safe expression quotations for Lean 4.
Apache License 2.0
73 stars 11 forks source link

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

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

I wouldn't usually do a bump here, as it is implicitly tested regularly by Mathlib, but nightly-2023-08-19 is a tentative release candidate for the first official release of Lean 4, so it would be nice to try everything out on it explicitly!

gebner commented 1 year ago

Thank you!