Zulip Chat Archive

Stream: triage

Topic: PR #15425: feat(tactic/polyrith): solve more problems by ...

Random Issue Bot (Aug 15 2023 at 14:07):

Today I chose PR 15425 for discussion!

feat(tactic/polyrith): solve more problems by testing for membership in the radical
Created by @Rob Lewis (@robertylewis) on 2022-07-16
Labels: WIP, awaiting-review, t-meta, not-too-late

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

Last updated: May 02 2025 at 03:31 UTC