Zulip Chat Archive

Stream: triage

Topic: PR !4#9251: feat(cone/caratheodory): add caratheodory the...

Random Issue Bot (Feb 10 2024 at 14:05):

Today I chose PR 9251 for discussion!

feat(cone/caratheodory): add caratheodory theorem for convex cones
Created by @None (@apurvanakade) on 2023-12-24
Labels: WIP, t-analysis

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

Last updated: May 02 2025 at 03:31 UTC