Repository navigation
Multi-language Support #4
Description
Activity
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.
ok, I have an initial proposal to expand MathlibExplorer, and I'm wondering if I could get your contact information?
Email me at crispherg at gmail dot com.
I translated the mathlib pacakge name to Chinese.
Reacted by Yu GuWow, thanks for the effort! I will try to incorporate the translation into the program.
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.
@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?Reacted by Yu Gufeel free to use and share.
Great project.
I'd like to extend this project to other languages. Can you give me some advice on how to start?