サクサク読めて、アプリ限定の機能も多数!
数学ガールに出てくる命題をCoqで証明していく模様。
hyuki のブックマーク 2012/01/11 06:13
Coqはじめました。[mathgirl] 数学ガールに出てくる命題をCoqで証明していく模様。2012/01/11 06:13
このブックマークにはスターがありません。 最初のスターをつけてみよう!
basking-cat.blogspot.com2012/01/11
あけましておめでとうございます。 何か新しいことをはじめようと思い、Coqに手を出しました。 まだ慣れていないけど、なかなか楽しいです。 証明楽しいとかどんな変態(褒め言葉)なんだ! と思っていましたが、...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
数学ガールに出てくる命題をCoqで証明していく模様。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqはじめました。
あけましておめでとうございます。 何か新しいことをはじめようと思い、Coqに手を出しました。 まだ慣れていないけど、なかなか楽しいです。 証明楽しいとかどんな変態(褒め言葉)なんだ! と思っていましたが、...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /