Update status of problem number 1125

teorth · web-flow · commit 22d5e6841fb5 · 2026-04-11T17:21:26.000-07:00
diff --git a/data/problems.yaml b/data/problems.yaml
@@ -12428,8 +12428,8 @@
 - number: "1125"
   prize: "no"
   status:
-    state: "proved"
-    last_update: "2025-12-30"
+    state: "proved (Lean)"
+    last_update: "2026-04-11"
   formalized:
     state: "no"
     last_update: "2025-12-30"
