Welcome to the SpecHaskell Trac

This page host the bug-tracker.

What SpecHaskell is

SpecHaskell project aims to provide a tool supporting:

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


Currently I'm working on my degree thesis which will be the start of this project, anyway I hope to commit some patches in the next months.