You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What kind of multilingual support are you interested in? The nodes' names are mathlib source filenames, it is impossible to replace them in current version.
What kind of multilingual support are you interested in? The nodes' names are mathlib source filenames, it is impossible to replace them in current version.
Can file names be placed in config files for translation or other methods?
It can be done, but overall I don't think translating filenames make much sense. For 1) some names are results of programming convention, which bear no mathematical meaning; 2) filenames are pointers, once translated it will be difficult for those who are interested in reading the actual code to locate the file; 3) mathlib changes file structure often, it is hard to keep translation up to date.
@Crispher Inspired by your video, I implemented a web explorer using echarts and wanted to add translations and even wikis to it. @paulcx Can I use your translation?
Activity
Crispher commentedon Jun 12, 2024
What kind of multilingual support are you interested in? The nodes' names are mathlib source filenames, it is impossible to replace them in current version.
paulcx commentedon Jun 12, 2024
Can file names be placed in config files for translation or other methods?
Crispher commentedon Jun 14, 2024
It can be done, but overall I don't think translating filenames make much sense. For 1) some names are results of programming convention, which bear no mathematical meaning; 2) filenames are pointers, once translated it will be difficult for those who are interested in reading the actual code to locate the file; 3) mathlib changes file structure often, it is hard to keep translation up to date.
paulcx commentedon Jun 14, 2024
ok, I have an initial proposal to expand MathlibExplorer, and I'm wondering if I could get your contact information?
Crispher commentedon Jun 14, 2024
Email me at crispherg at gmail dot com.
paulcx commentedon Jun 24, 2024
I translated the mathlib pacakge name to Chinese.
mathlib_zh.json
import_graph.txt
Crispher commentedon Jun 25, 2024
Wow, thanks for the effort! I will try to incorporate the translation into the program.
paulcx commentedon Jun 26, 2024
Btw, the translation is done with the help of an LLM, so it is bound to have some errors, I just fix some simple ones.
xushengfeng commentedon Jul 6, 2024
@Crispher Inspired by your video, I implemented a web explorer using echarts and wanted to add translations and even wikis to it.
@paulcx Can I use your translation?
paulcx commentedon Jul 7, 2024
feel free to use and share.