Haskabelle
What is Haskabelle?
Haskabelle is a converter from Haskell source files to Isabelle/HOL theories implemented in Haskell itself.
Obtaining Haskabelle
The current Haskabelle release is part of the current Isabelle release, in the contrib/ directory. The documentation can be found in the doc/ directory in the Haskabelle distribution.
Support
…is available via the Isabelle user mailing list.
For the curious
Haskabelle development can be followed in the Haskabelle repository; use at your own risk.