Software Tools

http://isabelle.in.tum.de/ : the Isabelle system

http://coq.inria.fr/ : Coq

Maybe you are interested to the CooML Project