Formally prove properties of Haskell programs using SBV/SMT. - View it on GitHub