Def Mathlib.Linter.parallelScanAux

Modification history

2026-02-07 23:17
Mathlib/Tactic/Linter/Whitespace.lean
refactor(Linter/Whitespace): use string slices more take 2 (#34659) …
Modified Mathlib.Linter.parallelScanAuxView on Github →
2026-01-31 13:23
Mathlib/Tactic/Linter/Whitespace.lean
perf(Linter/Whitespace): revert #26240 (#34645) …
Modified Mathlib.Linter.parallelScanAuxView on Github →
2026-01-23 09:36
Mathlib/Tactic/Linter/Whitespace.lean
perf(Linter/Whitespace): use string slices more (#26240) …
Modified Mathlib.Linter.parallelScanAuxView on Github →
2025-06-17 18:33
Mathlib/Tactic/Linter/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added Mathlib.Linter.parallelScanAuxView on Github →