From 421270e1110cdad1c96dd95e74c53a68cbfdda15 Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Wed, 27 Nov 2013 04:27:05 +0100
Subject: [PATCH] ++Coq

---
 free-programming-books-ja.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/free-programming-books-ja.md b/free-programming-books-ja.md
index e9f25058..14ea1e89 100644
--- a/free-programming-books-ja.md
+++ b/free-programming-books-ja.md
@@ -19,6 +19,7 @@
 * [Clojure](#clojure)
 * [CoffeeScript](#coffeescript)
 * [Common Lisp](#common-lisp)
+* [Coq](#coq)
 * [Emacs Lisp](#emacs-lisp)
 * [Erlang](#erlang)
 * [Git](#git)
@@ -204,6 +205,10 @@
 * [Google Common Lisp スタイルガイド 日本語訳](http://google-common-lisp-style-guide-ja.cddddr.org/) -  Robert Brown, François-René Rideau, TOYOZUMIKouichi 他(翻訳) 
 
 
+###Coq
+* [ソフトウェアの基礎](http://proofcafe.org/sf/) - Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, 梅村晃広(翻訳), 片山功士(翻訳), 水野洋樹(翻訳), 大橋台地(翻訳), 増子萌(翻訳), 今井宜洋(翻訳)
+
+
 ###Emacs Lisp
 * [Emacs Lisp基礎文法最速マスター](http://d.hatena.ne.jp/rubikitch/20100201/elispsyntax) - id:rubikitch
 * [GNU Emacs Lispリファレンスマニュアル](http://www.bookshelf.jp/texi/elisp-manual/21-2-8/jp/elisp.html)