Specification and proof
This article is a stub. You can help by expanding it.
2 In the real world
- Applications and libraries/Theorem provers, tools for formal reasoning, written in Haskell
- The Programatica Project has an expressive logic called P-logic, and tools supporting it
- Sparkle is a theorem prover for the functional programming language Clean
5 E-mail, blog articles
- The thread "Specification and prover for Haskell" on the Haskell mailing list