Theorem proving

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?