[Haskell-cafe] Haskell-style proof tools?

Robin Green greenrd at greenrd.org
Wed Sep 21 04:20:33 EDT 2005

Does anyone know of a prover / proof assistant / proof verifier which uses a 
vaguely Haskell-like syntax? That is to say, it allows you to express 
theorems in Haskell-style syntax, print proof steps in Haskell-style syntax, 


More information about the Haskell-Cafe mailing list