Thierry Arnoux schrieb am Donnerstag, 7. Dezember 2023 um 23:10:46 UTC+1: May I ask how long it took you both to complete the translation?
I think we started in May 2021, so it took about 2.5 years. Of course we had many (longer) breaks and did not work full time on it. And we used deepL for bulk translations, which were not so easy because of the lots of formatting and other technical items within the LaTeX sources. It required at least 3 larger passes to get an acceptable result: first to eliminate the technical issues, then to fix the coarser translation mistakes, and finally to fine polish the wording. The technical issues, however, are still a problem, as can be seen by Mario's review remarks in https://github.com/metamath/metamath-website-seed/pull/21. I hope I can provide a revised version this weekend. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/6e552f1c-9894-47b9-b0b9-5e45aac3316an%40googlegroups.com.
