54d3d34c - slean

Update to Lean v4.26.0

Changes

1 changed files (+1/-1)

lean-toolchain
- @@ -1,1 +1,1 @@
  - leanprover/lean4:v4.25.2 + leanprover/lean4:v4.26.0

Authored by: Anthony Wang
Authored at: 2025-12-19 21:30:39 -0600
Committed by: Anthony Wang
Committed at: 2025-12-19 21:30:39 -0600
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQHd4qj59HlR1CO7KkUBQ3Sy2EH95W4L6BfzqRTOsakqRwUKBw/Qx+1/3wvbu8E9gqI yiA0e0ySp4rc2XCOJjLQo= -----END SSH SIGNATURE-----
Object name: 54d3d34c7182536b813dbd8b73655a77a93a1155
Parent: 9a0500c5