A tool to verify whether a Curry program executes without failures
A tool to optimize contracts in FlatCurry programs by proving contracts