定理証明器Coqの紹介
- 2007/10/14 11:19:37 投稿
- 再生数：3000
- マイリスト数：31
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロード http://coq.inria.fr/ ] [Coqのブログ「にわとり小屋のプログラミング日記」 http://d.hatena.ne.jp/yoshihiro503/ ] [OCaml名古屋 http://itpl.co.jp/ocaml-nagoya/ ]
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロード http://coq.inria.fr/ ] [Coqのブログ「にわとり小屋のプログラミング日記」 http://d.hatena.ne.jp/yoshihiro503/ ] [OCaml名古屋 http://itpl.co.jp/ocaml-nagoya/ ]