Zulip Chat Archive
Stream: triage
Topic: PR !4#26394: feat: existence of local flows on manifolds
Random Issue Bot (Nov 11 2025 at 14:11):
Today I chose PR #26394 for discussion!
feat: existence of local flows on manifolds
Created by @Winston Yin (@winstonyin) on 2025-06-25
Labels: WIP, merge-conflict, t-differential-geometry
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC