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: May 02 2025 at 03:31 UTC