Diff of Coq

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to Coq.

- プログラミング Coq 〜 絶対にバグのないプログラムの書き方 〜
-- http://www.iij-ii.co.jp/lab/techdoc/coqt/
- ソフトウェアの基礎（プログラミングとプログラミング言語の数学的理論）
--  http://proofcafe.org/sf/Preface_J.html
- なぜCoqが重要か
--  http://proofcafe.org/~yoshihiro503/slides/startssreflect/coqintro.html

* 関連 [#rel]

- [[関数型言語>FunctionalLanguage]]