サクサク読めて、アプリ限定の機能も多数!
igrep のブックマーク 2015/06/28 13:39
Coqで独習するならどのページがいい?と聞かれたときのメモ - 簡潔なQ[coq][まとめ]2015/06/28 13:39
このブックマークにはスターがありません。 最初のスターをつけてみよう!
qnighy.hatenablog.com2010/12/20
Download Coq(英語) ダウンロードしなければ何も始まらない。 Download | The Coq Proof Assistant ちなみにLinuxディストリならcoqideパッケージをインストールするのが吉 Coqの入門記事を書く会 そこそこ体系的...
66 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
igrep のブックマーク 2015/06/28 13:39
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqで独習するならどのページがいい?と聞かれたときのメモ - 簡潔なQ
qnighy.hatenablog.com2010/12/20
Download Coq(英語) ダウンロードしなければ何も始まらない。 Download | The Coq Proof Assistant ちなみにLinuxディストリならcoqideパッケージをインストールするのが吉 Coqの入門記事を書く会 そこそこ体系的...
66 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /