サクサク読めて、アプリ限定の機能も多数!
terazzo のブックマーク 2014/06/30 18:16
Coqチュートリアル: @zakky_devさんが証明をできるようになるまで - みずぴー日記[Coq]2014/06/30 18:16
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mzp.hatenablog.com2014/06/29
先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのとき...
19 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
terazzo のブックマーク 2014/06/30 18:16
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqチュートリアル: @zakky_devさんが証明をできるようになるまで - みずぴー日記
mzp.hatenablog.com2014/06/29
先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのとき...
19 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /