V

verify

Tools to support the verification of Curry programs