サクサク読めて、アプリ限定の機能も多数！
「Voevodsky自身がCoqで証明を書いているようだけど」
Nyoho のブックマーク 2012/07/02 15:53
このブックマークにはスターがありません。 最初のスターをつけてみよう！
d.hatena.ne.jp/m-a-o2012/07/02
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
「Voevodsky自身がCoqで証明を書いているようだけど」
このブックマークにはスターがありません。
最初のスターをつけてみよう！
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／