Zulip Chat Archive
Stream: triage
Topic: issue #11682: command to unpack an existential with `clas...
Random Issue Bot (Apr 08 2022 at 14:13):
Today I chose issue 11682 for discussion!
command to unpack an existential with classical.some
Created by @Rob Lewis (@robertylewis) on 2022-01-27
Labels: meta, feature-request, good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jun 28 2022 at 14:19):
Today I chose issue 11682 for discussion!
command to unpack an existential with classical.some
Created by @Rob Lewis (@robertylewis) on 2022-01-27
Labels: meta, feature-request, good-first-project
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC