Crispher
Multi-language Support
Great project.
I'd like to extend this project to other languages. Can you give me some advice on how to start?
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?
Wow, 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?
