diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index b9b3c6504..491571da4 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -148,6 +148,7 @@ enabled and disabled respectively.")
   ;; Flycheck
   (when lean-flycheck-use
     (lean-flycheck-turn-on)
+    (setq-local flycheck-disabled-checkers '(lua))
     (add-hook 'flycheck-after-syntax-check-hook 'lean-flycheck-delete-temporaries nil t))
   ;; Draw a vertical line for rule-column
   (when (and lean-rule-column