Linter

📁 Source: Batteries/Linter.lean

Statistics

Metric	Count
Definitions Linter	1
Theorems	0
Total	1

Batteries.Tactic.Lint

Definitions

Name	Category	Theorems
Linter 📖	CompData	—

---

← Back to Index