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

duplicated entries #5

Closed joneugster closed 7 months ago

joneugster commented 7 months ago

It looks like there are duplicated entries for identical texts.

joneugster commented 7 months ago

duplication of #3