Hi, is any of you aware of activities that aim to translate Haskell into interactive theorem provers like PVS or Isabelle/HOL? (automatically or manually).
We know about the Programatica project and Brian Huffman's work, but turned up little else. Cheers, Gerwin _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
