Def checkInitImports

Modification history

2025-05-16 15:37

scripts/lint-style.lean

feat(lint-style): enforce modules are named in UpperCamelCase (#24654) …

Deleted checkInitImports View on Github →

2024-11-13 13:21

scripts/lint-style.lean

feat: check that every file imports Mathlib.Init (#18281) …

Added checkInitImports View on Github →