- 44 名前：デフォルトの名無しさん mailto:sage [2011/06/11(土) 23:33:59.32 ]
- 教科書ほしいっていうのなら、
勉強会で使ってるのあるみたいだよ。
Certified Programming with Dependent Types
adam.chlipala.net/cpdt/html/toc.html
adam.chlipala.net/cpdt/cpdt.pdf
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
Coqスレ
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef