Zulip Chat Archive

Stream: triage

Topic: issue #2724: have `solve_by_elim` call `intro1` before gi...


view this post on Zulip Random Issue Bot (Jan 21 2021 at 14:44):

Today I chose issue 2724 for discussion!

have solve_by_elim call intro1 before giving up
Created by @Scott Morrison (@semorrison) on 2020-05-18
Labels: feature-request, help wanted, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Jan 31 2021 at 14:23):

Today I chose issue 2724 for discussion!

have solve_by_elim call intro1 before giving up
Created by @Scott Morrison (@semorrison) on 2020-05-18
Labels: feature-request, help wanted, meta

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: May 18 2021 at 23:14 UTC