diff --git a/scripts/lint_all.lean b/scripts/lint_all.lean
index fde2fa0..34e22ef 100644
--- a/scripts/lint_all.lean
+++ b/scripts/lint_all.lean
@@ -23,4 +23,7 @@ def main (_: List String) : IO UInt32 := do
   println! "Doc check ..."
   let docCheck ← IO.Process.output {cmd := "lake", args := #["exe", "no_docs"]}
   println! docCheck.stdout
+  println! "Lean linter ..."
+  let leanCheck ← IO.Process.output {cmd := "lake", args := #["exe", "runLinter", "HepLean"]}
+  println! leanCheck.stdout
   pure 0