|Version 4 (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.
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.