Merge branch 'nightly'

mhuisi · mhuisi · commit a11566029bd9 · 2024-04-25T14:57:18.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-/build
-/lean_packages
+/.lake
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": 7,
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "Cli",
+ "lakeDir": ".lake"}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.0.0
+leanprover/lean4:v4.7.0
