Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Linter.commandStartLinter
Modification history
2025-06-17 18:33
Mathlib/Tactic/Linter/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added
Mathlib.Linter.commandStartLinter
View on Github →