How to contribute a Chinese translation for homepage?

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

How to contribute a Chinese translation for homepage? #115

Open OlingCat opened 1 month ago

OlingCat commented 1 month ago

How to contribute a Chinese translation for homepage? By the way, we are translating Functional Programming in Lean and Theorem Proving in Lean. Should I merge it into the official repo?