chore: Update Lean to v4.29.0 (#10)

samuelburnham · web-flow · commit cc98ebf67bf4 · 2026-04-16T18:16:38.000Z
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -111,6 +111,7 @@
             rustToolchain
             rust-analyzer
             lean.lean-all # Includes Lean compiler, lake, stdlib, etc.
+            valgrind
           ];
         };
 
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "928f27c7de8318455ba0be7461dbdf7096f4075a",
+   "rev": "d3c15b93a1dd4e7c8d5c0c3825c9555737e55c3e",
    "name": "LSpec",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "928f27c7de8318455ba0be7461dbdf7096f4075a",
+   "inputRev": "d3c15b93a1dd4e7c8d5c0c3825c9555737e55c3e",
    "inherited": false,
    "configFile": "lakefile.toml"}],
  "name": "«lean-ffi-test»",
diff --git a/lakefile.lean b/lakefile.lean
@@ -5,7 +5,7 @@ package «lean-ffi-test» where
   version := v!"0.1.0"
 
 require LSpec from git
-  "https://github.com/argumentcomputer/LSpec" @ "928f27c7de8318455ba0be7461dbdf7096f4075a"
+  "https://github.com/argumentcomputer/LSpec" @ "d3c15b93a1dd4e7c8d5c0c3825c9555737e55c3e"
 
 section FFI
 
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.28.0
+leanprover/lean4:v4.29.0
