Zulip Chat Archive
Stream: triage
Topic: issue #12685: let `linear_combination` solve `≠` goals
Random Issue Bot (Apr 13 2022 at 14:14):
Today I chose issue 12685 for discussion!
let linear_combination solve ≠ goals
Created by @Heather Macbeth (@hrmacbeth) on 2022-03-14
Labels: meta, feature-request, modifies-tactic-syntax
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 19 2022 at 14:20):
Today I chose issue 12685 for discussion!
let linear_combination solve ≠ goals
Created by @Heather Macbeth (@hrmacbeth) on 2022-03-14
Labels: meta, feature-request, modifies-tactic-syntax
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 09 2022 at 14:22):
Today I chose issue 12685 for discussion!
let linear_combination solve ≠ goals
Created by @Heather Macbeth (@hrmacbeth) on 2022-03-14
Labels: t-meta, feature-request, modifies-tactic-syntax
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jul 22 2023 at 14:06):
Today I chose issue 12685 for discussion!
let linear_combination solve ≠ goals
Created by @Heather Macbeth (@hrmacbeth) on 2022-03-14
Labels: t-meta, feature-request, modifies-tactic-syntax
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC