On 9/21/05, Robin Green <[EMAIL PROTECTED]> 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/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe