Zulip Chat Archive

Stream: triage

Topic: PR #4832: chore(topology/sheaves/sheaf_condition): first ...


Random Issue Bot (Jan 07 2021 at 14:31):

Today I chose PR 4832 for discussion!

chore(topology/sheaves/sheaf_condition): first pass at speeding up
Created by @Johan Commelin (@jcommelin) on 2020-10-30
Labels: awaiting-author, help wanted

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

Random Issue Bot (Jan 25 2021 at 14:46):

Today I chose PR 4832 for discussion!

chore(topology/sheaves/sheaf_condition): first pass at speeding up
Created by @Johan Commelin (@jcommelin) on 2020-10-30
Labels: awaiting-author, help wanted

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


Last updated: Dec 20 2023 at 11:08 UTC