Coq
の編集
http://ftp.mathlibre.org/wiki/?Coq
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
* 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:]]
テキスト整形のルールを表示する