From a8dc01c82fedddd60847102771ce0b7667c69f40 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 10 Aug 2026 09:27:00 +0000
Subject: [PATCH] fix: update Lean metadata to 4.33.0

---
 README.md             | 2 +-
 src/languages/lean.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index a307b59..1417822 100644
--- a/README.md
+++ b/README.md
@@ -614,7 +614,7 @@ from its package subpath.
 | <img src="https://koka-lang.github.io/koka/doc/images/koka-logo-filled.png" alt="Koka logo" width="24" height="24"> | Koka | `koka` | `.kk` | `3.2.2` | `code-languages/koka` |
 | <img src="https://upload.wikimedia.org/wikipedia/commons/7/74/Kotlin_Icon.png" alt="Kotlin logo" width="24" height="24"> | Kotlin | `kotlin` | `.kt`, `.kts` | `2.4.10` | `code-languages/kotlin` |
 | <img src="https://learn.microsoft.com/favicon.ico" alt="KQL logo" width="24" height="24"> | KQL | `kql` | `.kql` | `stable` | `code-languages/kql` |
-| <img src="https://cdn.simpleicons.org/leanpub/262425" alt="Lean logo" width="24" height="24"> | Lean | `lean` | `.lean` | `4.32.2` | `code-languages/lean` |
+| <img src="https://cdn.simpleicons.org/leanpub/262425" alt="Lean logo" width="24" height="24"> | Lean | `lean` | `.lean` | `4.33.0` | `code-languages/lean` |
 | <img src="https://upload.wikimedia.org/wikipedia/commons/8/81/LESS_Logo.svg" alt="Less logo" width="24" height="24"> | Less | `less` | `.less` | `4.8.1` | `code-languages/less` |
 | <img src="https://raw.githubusercontent.com/ElJijuna/code-languages/main/public/assets/placeholders/lex.svg" alt="Lex logo" width="24" height="24"> | Lex | `lex` | `.l`, `.lex` | `POSIX lex / flex 2.6.4` | `code-languages/lex` |
 | <img src="https://ligolang.org/img/logo/logo.png" alt="Ligo logo" width="24" height="24"> | Ligo | `ligo` | `.ligo`, `.mligo`, `.religo`, `.jsligo` | `1.x` | `code-languages/ligo` |
diff --git a/src/languages/lean.ts b/src/languages/lean.ts
index db5aed5..0b3ac8a 100644
--- a/src/languages/lean.ts
+++ b/src/languages/lean.ts
@@ -12,7 +12,7 @@ export const lean = {
     packageManagers: ['Lake', 'elan'],
     ecosystems: ['Formal methods', 'Mathematics', 'Proof assistants'],
   },
-  version: '4.32.2',
+  version: '4.33.0',
   logo: 'https://cdn.simpleicons.org/leanpub/262425',
   color: '#262425',
   i18n: {