[B! coq][*Atode] rakkのブックマーク

rakk id:rakk

coqと*Atodeに関するrakkのブックマーク (3)

Index of /distrib/current/files
rakk 2010/12/08
coq

*Atode
リンク
[Coq] Proof Cafe #01
rakk 2010/04/26
*Atode

coq
リンク
fm-forum @ ウィキ
Formal Methods Forum 形式手法について広く深く研究する会です。勉強会参考資料Coq勉強資料:Certified Programming with Dependent Types Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books Coq Coqインストール Coq参考資料 Certified Programming with Dependent Types関係 Coq命題論理の証明 Coqで数独 SPIN SPINインストールリンク集：関連しそうな話へのリンク集
rakk 2010/04/21
"Formal Methods Forum" / "Coqで数独"

*Study

*Atode

coq
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx