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: Dec 20 2025 at 21:32 UTC
How much work would it be to modify the continuity tactic to get a measurability tactic?
Last updated: Dec 20 2025 at 21:32 UTC