gentoo.mahdi.cz
dev-haskell
:sbvplugin
Formally prove properties of Haskell programs using SBV/SMT
https://github.com/LeventErkok/sbvPlugin
sbvplugin-0.12
BSD
download
~amd64
haskell