- 1 名前：デフォルトの名無しさん mailto:sage [2011/03/13(日) 21:05:23.37 ]
- こけこっこー
coq.inria.fr/
- 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
- 45 名前：デフォルトの名無しさん mailto:sage [2011/06/11(土) 23:38:50.09 ]
- 上階層貼ったほうがよかったね。ゴメン
adam.chlipala.net/cpdt/
