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

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

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

Open Zimmi48 opened 2 years ago

Zimmi48 commented 2 years ago

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 commented 2 years ago

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

Zimmi48 commented 2 years ago

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

affeldt-aist commented 2 years ago

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.