vhf/free-programming-books — pull request #431 by pirapira (2013-11-27 03:29:05+00:00)
Title: ++Coq

added a free Coq book in Japanese.