Zulip Chat Archive
Stream: mathlib4
Topic: simpNF linter in #6931
Yury G. Kudryashov (Sep 03 2023 at 16:51):
The simpNF linter has 2 failures in #6931. Is it because instance search timeouts instead of failing?
Last updated: May 02 2025 at 03:31 UTC