sbv icon indicating copy to clipboard operation
sbv copied to clipboard

Published 20 hours ago • verified publisher icon LeventErkok
→

Metadata

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

SBV: SMT Based Verification in Haskell

Build Status

On Hackage: http://hackage.haskell.org/package/sbv

Please see: http://leventerkok.github.io/sbv/

← Metadata

235
Stars
32
Forks
Watchers

Owner

verified publisher icon LeventErkok

Metadata

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Back