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