A tool to verify properties of Curry programs (contracts, non-failing)
Detailed package documentation (available shortly after this version has been published)