search

leanprover-community / mathlib4

The math library of Lean 4
https://leanprover-community.github.io/mathlib4_docs
Apache License 2.0
1.36k stars 299 forks source link

Tracking issue for troubles with the `simpNF` linter #5049

Open joneugster opened 1 year ago

semorrison commented 1 year ago

This link searches for references to this issue in the source code.