diff --git a/lean-mode/.gitignore b/lean4-mode/.gitignore
similarity index 100%
rename from lean-mode/.gitignore
rename to lean4-mode/.gitignore
diff --git a/lean-mode/LICENSE b/lean4-mode/LICENSE
similarity index 100%
rename from lean-mode/LICENSE
rename to lean4-mode/LICENSE
diff --git a/lean-mode/README.md b/lean4-mode/README.md
similarity index 100%
rename from lean-mode/README.md
rename to lean4-mode/README.md
diff --git a/lean-mode/lean-debug.el b/lean4-mode/lean-debug.el
similarity index 100%
rename from lean-mode/lean-debug.el
rename to lean4-mode/lean-debug.el
diff --git a/lean-mode/lean-dev.el b/lean4-mode/lean-dev.el
similarity index 100%
rename from lean-mode/lean-dev.el
rename to lean4-mode/lean-dev.el
diff --git a/lean-mode/lean-eri.el b/lean4-mode/lean-eri.el
similarity index 100%
rename from lean-mode/lean-eri.el
rename to lean4-mode/lean-eri.el
diff --git a/lean-mode/lean-flycheck.el b/lean4-mode/lean-flycheck.el
similarity index 100%
rename from lean-mode/lean-flycheck.el
rename to lean4-mode/lean-flycheck.el
diff --git a/lean-mode/lean-hole.el b/lean4-mode/lean-hole.el
similarity index 100%
rename from lean-mode/lean-hole.el
rename to lean4-mode/lean-hole.el
diff --git a/lean-mode/lean-info.el b/lean4-mode/lean-info.el
similarity index 100%
rename from lean-mode/lean-info.el
rename to lean4-mode/lean-info.el
diff --git a/lean-mode/lean-input.el b/lean4-mode/lean-input.el
similarity index 100%
rename from lean-mode/lean-input.el
rename to lean4-mode/lean-input.el
diff --git a/lean-mode/lean-leanpkg.el b/lean4-mode/lean-leanpkg.el
similarity index 100%
rename from lean-mode/lean-leanpkg.el
rename to lean4-mode/lean-leanpkg.el
diff --git a/lean-mode/lean-mode.el b/lean4-mode/lean-mode.el
similarity index 100%
rename from lean-mode/lean-mode.el
rename to lean4-mode/lean-mode.el
diff --git a/lean-mode/lean-right-click.el b/lean4-mode/lean-right-click.el
similarity index 100%
rename from lean-mode/lean-right-click.el
rename to lean4-mode/lean-right-click.el
diff --git a/lean-mode/lean-settings.el b/lean4-mode/lean-settings.el
similarity index 100%
rename from lean-mode/lean-settings.el
rename to lean4-mode/lean-settings.el
diff --git a/lean-mode/lean-syntax.el b/lean4-mode/lean-syntax.el
similarity index 100%
rename from lean-mode/lean-syntax.el
rename to lean4-mode/lean-syntax.el
diff --git a/lean-mode/lean-type.el b/lean4-mode/lean-type.el
similarity index 100%
rename from lean-mode/lean-type.el
rename to lean4-mode/lean-type.el
diff --git a/lean-mode/lean-util.el b/lean4-mode/lean-util.el
similarity index 100%
rename from lean-mode/lean-util.el
rename to lean4-mode/lean-util.el