Zulip Chat Archive
Stream: triage
Topic: random issue: `simpa` accepts non-existing lemmas (#2061)
Random Issue Bot (Nov 01 2020 at 14:14):
Today I chose issue 2061 for discussion!
simpa accepts non-existing lemmas
Created by @Gabriel Ebner (@gebner) on 2020-02-26
Labels: bug, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Mario Carneiro (Nov 01 2020 at 14:23):
Rob Lewis (Nov 01 2020 at 16:55):
Random Issue Bot proving their worth already!
Last updated: Dec 20 2023 at 11:08 UTC