Zulip Chat Archive
Stream: metaprogramming / tactics
Topic: measurable
Patrick Massot (Aug 25 2020 at 12:41):
How much work would it be to modify the continuity tactic to get a measurability tactic?
Last updated: Feb 28 2026 at 14:05 UTC
How much work would it be to modify the continuity tactic to get a measurability tactic?
Last updated: Feb 28 2026 at 14:05 UTC