Update lakefile.toml

pitmonticone · pitmonticone · commit b09f92162313 · 2026-01-07T17:24:07.000+01:00
diff --git a/lakefile.toml b/lakefile.toml
@@ -9,7 +9,6 @@ relaxedAutoImplicit = false
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4.git"
-rev = "v4.27.0-rc1"
 
 [[lean_lib]]
 name = "Project"
