* 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:]]

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS