Coq
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
* The Coq proof assistant [#jfd7e820]
- http://coq.inria.fr/
* Book [#xc19ce1c]
- [[Interactive Theorem Proving And Program Development:http://www.springer.com/east/home/computer/computer+series?SGWID=5-40099-22-28710389-0&referer=www.springeronline.com&SHORTCUT=www.springer.com/sgw/cda/frontpage/0,10735,5-40099-22-28710389-0,00.html]] by Yves Bertot, Pierre Castéran
* Link [#wc05edf8]
- [[LL魂に参加しました!:http://www.itpl.co.jp/llspirit.html]]
[[:included in knxm:]]
終了行:
* The Coq proof assistant [#jfd7e820]
- http://coq.inria.fr/
* Book [#xc19ce1c]
- [[Interactive Theorem Proving And Program Development:http://www.springer.com/east/home/computer/computer+series?SGWID=5-40099-22-28710389-0&referer=www.springeronline.com&SHORTCUT=www.springer.com/sgw/cda/frontpage/0,10735,5-40099-22-28710389-0,00.html]] by Yves Bertot, Pierre Castéran
* Link [#wc05edf8]
- [[LL魂に参加しました!:http://www.itpl.co.jp/llspirit.html]]
[[:included in knxm:]]
ページ名: