Coq の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 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:]]