search

hhu-adam / lean-i18n

i18n library for Lean.
https://reservoir.lean-lang.org/@hhu-adam/i18n
Apache License 2.0
6 stars 0 forks source link

Add support of `#~` #4

Closed joneugster closed 5 months ago

joneugster commented 7 months ago

https://github.com/leanprover-community/lean4game/issues/210

Easy to fix, just need time for it. (modify the parser!)

joneugster commented 5 months ago

We just drop/delete them now in e493a4f7f0d51b6707c9d11bd0488d2f26b58bd0