Top > 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]] |