Def Mathlib.Linter.TextBased.semicolonLinter

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.semicolonLinterView on Github →
2025-02-16 09:19
Mathlib/Tactic/Linter/TextBased.lean
feat: rewrite the linter for spaces before semicolons in Lean (#16532) …
Added Mathlib.Linter.TextBased.semicolonLinterView on Github →