chore: Update Lean to v4.23.0 (#62)

samuelburnham · web-flow · commit 28d189b027ff · 2025-09-17T11:54:27.000-03:00
* chore: Update Lean to v4.23.0

* Update flake.lock
diff --git a/.envrc b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,4 @@
 /lake-packages
 .lake/
 /result*
+.direnv/
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -11,7 +11,7 @@
   };
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
+    nixpkgs.follows = "lean4-nix/nixpkgs";
     flake-parts.url = "github:hercules-ci/flake-parts";
     lean4-nix.url = "github:lenianiva/lean4-nix";
   };
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.21.0
+leanprover/lean4:v4.23.0
