Zulip Chat Archive

Stream: triage

Topic: random issue: `simpa` accepts non-existing lemmas (#2061)


view this post on Zulip 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?

view this post on Zulip Mario Carneiro (Nov 01 2020 at 14:23):

#4865

view this post on Zulip Rob Lewis (Nov 01 2020 at 16:55):

Random Issue Bot proving their worth already!


Last updated: May 09 2021 at 16:20 UTC