coq.github.io icon indicating copy to clipboard operation
coq.github.io copied to clipboard

Published 20 hours ago • verified publisher icon coq

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

Open Zimmi48 opened this issue 3 years ago • 3 comments

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?

Zimmi48 avatar Dec 03 '21 11:12 Zimmi48

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

gares avatar Dec 03 '21 12:12 gares

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

Zimmi48 avatar Dec 03 '21 13:12 Zimmi48

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.

affeldt-aist avatar Dec 03 '21 14:12 affeldt-aist