Theorem proving

[Dmitry Malenko]

Hi, All!

Searching the web I've come across some theorem provers for Haskell. I
wonder if somebody is using them in his daily work.

Any way I would like to hear your opinions about some of the provers
as well as about the whole idea of proving programs rather than
testing them.

-- 
Best regards, Dmitry Malenko.
+----------------------------------------------------+ 
 Registered Linux user #258004 
 ALT Linux Team                http://www.altlinux.ru 
+----------------------------------------------------+
Do you guys know what you're doing, or are you just hacking?