diff --git a/flake.nix b/flake.nix
index 356323f..02de0a1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,6 +30,7 @@
     in rec {
       packages = project // {
         inherit (leanPkgs) lean;
+        lake = leanPkgs.Lake-Main.executable;
         default = packages.executable;
       };
       devShells.default = project.devShell;