Zulip Chat Archive
Stream: triage
Topic: issue #3532: tfae with named statements
Random Issue Bot (Mar 08 2021 at 14:21):
Today I chose issue 3532 for discussion!
tfae with named statements
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-07-24
Labels: feature-request, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 06 2022 at 14:16):
Today I chose issue 3532 for discussion!
tfae with named statements
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-07-24
Labels: meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 20 2022 at 14:12):
Today I chose issue 3532 for discussion!
tfae with named statements
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-07-24
Labels: meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 12 2022 at 14:22):
Today I chose issue 3532 for discussion!
tfae with named statements
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-07-24
Labels: meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC