サクサク読めて、アプリ限定の機能も多数!
何度か見直す。
kirakking のブックマーク 2013/12/20 19:03
定理証明系 Haskell[haskell][coq][proof][prover][あとで読む]何度か見直す。2013/12/20 19:03
このブックマークにはスターがありません。 最初のスターをつけてみよう!
konn-san.com2013/12/20
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き...
32 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
何度か見直す。
kirakking のブックマーク 2013/12/20 19:03
このブックマークにはスターがありません。
最初のスターをつけてみよう!
定理証明系 Haskell
konn-san.com2013/12/20
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き...
32 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /