Welcome to the Spec_Haskell Trac

This page host the bug-tracker.

What Spec_Haskell is

Spec_Haskell project aims to provide a tool supporting:

• Annotating Haskell sources with specifications.
• Generating proof obligations from these specifications.
• Different methods to verify these obligations.