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):

#4865

Rob Lewis (Nov 01 2020 at 16:55):

Random Issue Bot proving their worth already!


Last updated: Dec 20 2023 at 11:08 UTC