Version 3 (modified by iago, 5 years ago)

--

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.