[Haskell-cafe] Haskell-style proof tools?

Radu Grigore radugrigore at gmail.com
Wed Sep 21 05:09:27 EDT 2005


On 9/21/05, Robin Green <greenrd at greenrd.org> wrote:
> 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,
> etc.

Skimming through the Haskell report reveals links that seem promising:
http://www.cs.chalmers.se/~catarina/agda/
http://www.haskell.org/yarrow/

And maybe:
http://www.ittc.ku.edu/~wardj/prufrock/

--
regards,
  radu
http://rgrig.blogspot.com/


More information about the Haskell-Cafe mailing list