サクサク読めて、アプリ限定の機能も多数!
Ynot is a library for the Coq proof assistant which turns it into a full-fledged environment for writing and verifying imperative programs.
unkounko1 のブックマーク 2010/05/05 05:12
Home Page | Harvard John A. Paulson School of Engineering and Applied Sciences[coq][programming][functional]Ynot is a library for the Coq proof assistant which turns it into a full-fledged environment for writing and verifying imperative programs.2010/05/05 05:12
このブックマークにはスターがありません。 最初のスターをつけてみよう!
seas.harvard.edu2010/05/05
Cutting-edge science delivered direct to your inbox. Join the Research Roundup mailing list.
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Ynot is a library for the Coq proof assistant which turns it into a full-fledged environment for writing and verifying imperative programs.
unkounko1 のブックマーク 2010/05/05 05:12
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Home Page | Harvard John A. Paulson School of Engineering and Applied Sciences
seas.harvard.edu2010/05/05
Cutting-edge science delivered direct to your inbox. Join the Research Roundup mailing list.
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /