dev-haskell/sbvplugin
Formally prove properties of Haskell programs using SBV/SMT
Screenshots
View
Download
BrowseReverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.