Version 4 (modified by iago, 7 years ago)

Short explanaation of why the project seems dead before it was born.

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.