[ANN] New release of SBV (v13.6)

A new release of SBV (v3.16) is now on Hackage: sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. This version improves support for the semi-automated theorem-proving interface, and adds several interesting examples from the theorem-proving folklore: * Proof of a tautology checker * Proof of the correctness of a constant-folder/optimizer over a simple expressive language with let-bindings. * Proof of correctness for Kadane’s linear-time maximum-segment-sum algorithm Happy hacking! -Levent.