TextBased

📁 Source: Mathlib/Tactic/Linter/TextBased.lean

Statistics

Metric	Count
Definitions ErrorFormat, instBEqErrorFormat, beq, lintModules, adaptationNote, modulesForbiddenWindows, modulesUpperCamelCase, pythonStyle, trailingWhitespace, unicodeLinter, whitespaceBeforeSemicolon, modulesNotUpperCamelCase, modulesOSForbidden	13
Theorems	0
Total	13

Mathlib.Linter.TextBased

Definitions

Name	Category	Theorems
ErrorFormat 📖	CompData	—
instBEqErrorFormat 📖	CompOp	—
lintModules 📖	CompOp	—
modulesNotUpperCamelCase 📖	CompOp	—
modulesOSForbidden 📖	CompOp	—

Mathlib.Linter.TextBased.instBEqErrorFormat

Definitions

Name	Category	Theorems
beq 📖	CompOp	—

Mathlib.Linter.TextBased.linter

Definitions

Name	Category	Theorems
adaptationNote 📖	CompOp	—
modulesForbiddenWindows 📖	CompOp	—
modulesUpperCamelCase 📖	CompOp	—
pythonStyle 📖	CompOp	—
trailingWhitespace 📖	CompOp	—
unicodeLinter 📖	CompOp	—
whitespaceBeforeSemicolon 📖	CompOp	—

---

← Back to Index