LeventErkok/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

语言：Haskell · GitHub 星标：269 · Fork：51

话题：haskell · smt · verification

在 GitHub 上查看原仓库