Zulip Chat Archive
Stream: triage
Topic: PR #6448: feat(tactic/set): added set_taut to prove set e...
Random Issue Bot (Apr 12 2021 at 14:24):
Today I chose PR 6448 for discussion!
feat(tactic/set): added set_taut to prove set equality
Created by @None (@mzinkevi) on 2021-02-27
Labels: awaiting-author, awaiting-review, meta
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 11 2021 at 14:18):
Today I chose PR 6448 for discussion!
feat(tactic/set): added set_taut to prove set equality
Created by @None (@mzinkevi) on 2021-02-27
Labels: awaiting-author, meta
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC