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