Formally prove properties of Haskell programs using SBV/SMT.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool