Zulip Chat Archive

Stream: triage

Today I chose PR #9935 for discussion!

feat(AlgebraicTopology): add constructors for horns
Created by @Joseph Tooby-Smith (@jstoobysmith) on 2024-01-23
Labels: awaiting-author, merge-conflict, t-topology, t-algebra, new-contributor

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

Last updated: May 02 2025 at 03:31 UTC