サクサク読めて、アプリ限定の機能も多数!
"contains the companion code of the publication Partial Type Equivalences for Verified Dependent Interoperability (ICFP'16)."
igrep のブックマーク 2016/09/20 16:13
GitHub - CoqHott/DICoq: Dependent Interoperability for Coq[coq]"contains the companion code of the publication Partial Type Equivalences for Verified Dependent Interoperability (ICFP'16)."2016/09/20 16:13
"contains the companion code of the publication Partial Type Equivalences for Verified Dependent Interoperability (ICFP'16)."
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/CoqHott2016/09/20
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
"contains the companion code of the publication Partial Type Equivalences for Verified Dependent Interoperability (ICFP'16)."
igrep のブックマーク 2016/09/20 16:13
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - CoqHott/DICoq: Dependent Interoperability for Coq
github.com/CoqHott2016/09/20
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /