Zulip Chat Archive

Stream: triage

Topic: PR !4#12673: feat: add ContDiff.lipschitzOnWith


Random Issue Bot (Sep 17 2024 at 14:09):

Today I chose PR 12673 for discussion!

feat: add ContDiff.lipschitzOnWith
Created by @None (@grunweg) on 2024-05-05
Labels: awaiting-author, t-analysis

Is this PR still relevant? Any recent updates? Anyone making progress?

Michael Rothgang (Sep 18 2024 at 09:49):

This issue is still relevant (and on my backlog of things to tend to). That said: help on this is welcome, a comment by sgouezel explains what to do.


Last updated: May 02 2025 at 03:31 UTC