++Coq

added a free Coq book in Japanese.