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: May 02 2025 at 03:31 UTC
How much work would it be to modify the continuity tactic to get a measurability tactic?
Last updated: May 02 2025 at 03:31 UTC