A tool to verify contracts in FlatCurry programs
Detailed package documentation (available shortly after this version has been published)