On Sun 10 Oct, Messenger wrote:
> Does anyone know if there exist theorem proving or
> formal verfication tools for Haskell?
I don't know about Haskell, but the Clean developers have such a tool
for Clean. Any theorems which are true for Clean should also be true
for Haskell, I imagine.
You can get it here..
http://www.cs.kun.nl/~maartenm/CleanProverSystem/
Regards
--
Adrian Hey
