サクサク読めて、アプリ限定の機能も多数!
notae のブックマーク 2015/11/30 19:31
sbv[Haskell][SMT][Hackage]2015/11/30 19:31
このブックマークにはスターがありません。 最初のスターをつけてみよう!
hackage.haskell.org2011/06/05
sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) sol...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
notae のブックマーク 2015/11/30 19:31
このブックマークにはスターがありません。
最初のスターをつけてみよう!
sbv
hackage.haskell.org2011/06/05
sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) sol...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /