Zulip Chat Archive
Stream: triage
Topic: issue !4#26620: `measurability` tactic cannot solve `Meas...
Random Issue Bot (Aug 03 2025 at 14:09):
Today I chose issue #26620 for discussion!
measurability tactic cannot solve MeasurableSet {x : ℝ | x > τ}
Created by @Georgy Kalashnov (@kalashnov) on 2025-07-02
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 13 2025 at 14:07):
Today I chose issue #26620 for discussion!
measurability tactic cannot solve MeasurableSet {x : ℝ | x > τ}
Created by @Georgy Kalashnov (@kalashnov) on 2025-07-02
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 05 2025 at 14:12):
Today I chose issue #26620 for discussion!
measurability tactic cannot solve MeasurableSet {x : ℝ | x > τ}
Created by @Georgy Kalashnov (@kalashnov) on 2025-07-02
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC