- 追加された行はこの色です。
- 削除された行はこの色です。
- 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]]