Def Mathlib.Linter.TextBased.trailingWhitespaceLinter

Modification history

2025-05-19 09:39
Mathlib/Tactic/Linter/TextBased.lean
feat(scripts/lint-style): select linters with Lakefile options (#24953) …
Modified Mathlib.Linter.TextBased.trailingWhitespaceLinterView on Github →
2024-11-22 01:48
Mathlib/Tactic/Linter/TextBased.lean
feat: rewrite the trailing whitespace linter in Lean (#16334)
Added Mathlib.Linter.TextBased.trailingWhitespaceLinterView on Github →