diff --git a/init.example.el b/init.example.el
index fec33a81c..39303ef3f 100644
--- a/init.example.el
+++ b/init.example.el
@@ -118,6 +118,7 @@
        ;;julia             ; a better, faster MATLAB
        ;;kotlin            ; a better, slicker Java(Script)
        ;;latex             ; writing papers in Emacs has never been so fun
+       ;;lean
        ;;ledger            ; an accounting system in Emacs
        ;;lua               ; one-based indices? one-based indices
        markdown          ; writing docs for people to ignore