P

property-prover

A tool to verify properties of Curry programs (contracts, non-failing)