SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
239
stars
33
forks
source link
Remove MonadSymbolic constraint from registerUISMTFunction and smtFunName #713
Closed
lsrcz closed 1 month ago