Add a non-English language documentation category on the website.

[Zimmi48]

Transferred from coq/coq.github.io. Now that we have a book management system on the website, it should be easier to accomplish.

I'm thinking that the https://coq.inria.fr/documentation page could benefit from a section listing all the available documentation in other languages than English.

We could list:

• the French and Chinese translation of the Coq'Art
• the Chinese translation of SF (cc @liyishuai)
• the book in Japanese by Manabu Hagiwara and @affeldt
• the video lectures of @ybertot in French that are already mentioned on this page

What else?

[gares]

There are some volumes about ssr in japanese dunno if they are online CC @pi8027

[Zimmi48]

Different from "the book in Japanese by Manabu Hagiwara and @affeldt" (www.morikita.co.jp/books/book/3287)?

[affeldt-aist]

This is different. I think that @gares is referring to printed material written mostly by @pi8027 that he has been distributing domestically. But I don't think you can find them online.

[palmskog]

In my view, the French version of Coq'Art should be listed separately from the English one since it's available for free in full: https://www.labri.fr/perso/casteran/CoqArt/coqartF.pdf

(Side note: would be great if it could be on HAL in the future)

[Zimmi48]

In my view, the French version of Coq'Art should be listed separately from the English one since it's available for free in full: https://www.labri.fr/perso/casteran/CoqArt/coqartF.pdf

Agreed and done in 457e0c5.

As for the rest of the non-English books listed in the OP, up to anyone to add them (with a description in English or in the corresponding language).