Zulip Chat Archive

Stream: triage

Topic: issue #2726: a multiplicative version of the `abel` tactic


view this post on Zulip Random Issue Bot (Dec 26 2020 at 14:27):

Today I chose issue 2726 for discussion!

a multiplicative version of the abel tactic
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 (Mar 22 2021 at 14:21):

Today I chose issue 2726 for discussion!

a multiplicative version of the abel tactic
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 09 2021 at 16:20 UTC