bcert (pypi): Bound certification of Lipschitz function on compact space
Keywords: certification|bound|Lipschitz