From ce97ad440e20a2099aa01bdc763d72c069fe09c3 Mon Sep 17 00:00:00 2001
From: Greg Shuflin <greg@everydayimshuflin.com>
Date: Wed, 8 Jul 2026 22:05:01 -0700
Subject: [PATCH] Update toolchain to lastest version of Lean

---
 lean-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean-toolchain b/lean-toolchain
index e59446d..18640c8 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.26.0
+leanprover/lean4:v4.31.0