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: Dec 20 2025 at 21:32 UTC