Zulip Chat Archive
Stream: general
Topic: caching
Kenny Lau (Nov 09 2018 at 09:33):
Sometimes Lean needs to figure out that two ways of defining an instance are equal. Is this cached?
Simon Hudon (Nov 09 2018 at 18:23):
Do you have an example?
Last updated: May 02 2025 at 03:31 UTC