search

leanprover-community / aesop

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

chore: move toolchain to v4.5.0-rc1 #91

Closed kim-em closed 9 months ago