igrepigrep のブックマーク 2015/06/28 13:39

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Coqで独習するならどのページがいい?と聞かれたときのメモ - 簡潔なQ

    Download Coq(英語) ダウンロードしなければ何も始まらない。 Download | The Coq Proof Assistant ちなみにLinuxディストリならcoqideパッケージをインストールするのが吉 Coqの入門記事を書く会 そこそこ体系的...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう