SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Primary LanguageHaskellOtherNOASSERTION
No one’s watching this repository yet.