Zulip Chat Archive
Stream: triage
Topic: PR #13917: feat(set_theory/game/basic): Golf using `antis...
Random Issue Bot (Nov 03 2022 at 14:22):
Today I chose PR 13917 for discussion!
feat(set_theory/game/basic): Golf using antisymmetrization API
Created by @Violeta Hernández (@vihdzp) on 2022-05-03
Labels: WIP
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC