chore: don't use String->Name coercion, which may be removed - Githubissues

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

191 stars 26 forks source link

chore: don't use String->Name coercion, which may be removed #119

Closed kim-em closed 6 months ago

JLimperg commented 6 months ago

Thanks!