Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

LeventErkok/sbv

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

Owner: LeventErkok (personal account)
Stars: Stars: 269
Forks: Forks: 51
Language: Haskell
License: None
Created: 2011
Topics: haskellsmtverification
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in Haskell

All Haskell repos

denisshevchenko/ohaskell.guideStars: 270HaskellAlpha
bravit/hid-examplesStars: 270HaskellAlpha
standardsemiconductor/lionStars: 270HaskellAlpha
neovimhaskell/nvim-hsStars: 268HaskellAlpha
snoyberg/keterStars: 263HaskellAlpha
co-log/co-logStars: 263HaskellAlpha