Zulip Chat Archive
Stream: mathlib4
Topic: simpNF linter timeout !4#4852
Jireh Loreaux (Jun 08 2023 at 15:52):
Does anyone understand the cause of the simpNF linter timeout here? It doesn't show up for me locally (but I didn't check in with importing Mathlib.lean)
Last updated: Dec 20 2023 at 11:08 UTC