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: Dec 20 2023 at 11:08 UTC