サクサク読めて、アプリ限定の機能も多数!
フランス語ができるならCoqのいい入門にあると紹介されているサイト
hitotakuchan のブックマーク 2014/09/16 19:47
Preuves de programmes en coq - Yves Bertot INRIA[coq][計算機科学][定理証明]フランス語ができるならCoqのいい入門にあると紹介されているサイト2014/09/16 19:47
このブックマークにはスターがありません。 最初のスターをつけてみよう!
fuscia.inrialpes.fr2014/09/16
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
フランス語ができるならCoqのいい入門にあると紹介されているサイト
hitotakuchan のブックマーク 2014/09/16 19:47
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Preuves de programmes en coq - Yves Bertot INRIA
fuscia.inrialpes.fr2014/09/16
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /