From 7d3f04ca356c9a088e0901c7a179955683e66207 Mon Sep 17 00:00:00 2001
From: Daniil Kisel <56605335+KislyjKisel@users.noreply.github.com>
Date: Sun, 22 Sep 2024 15:36:06 +0300
Subject: [PATCH] Update BINDINGS.md (#4337)

Updated Lean4 bindings
---
 BINDINGS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BINDINGS.md b/BINDINGS.md
index 6ac54498..e79d39c3 100644
--- a/BINDINGS.md
+++ b/BINDINGS.md
@@ -81,7 +81,7 @@ Some people ported raylib to other languages in the form of bindings or wrappers
 | [raylib-bqn](https://github.com/Brian-ED/raylib-bqn)                                     | **5.0**          | [BQN](https://mlochbaum.github.io/BQN)                               | MIT                  |
 | [rayjs](https://github.com/mode777/rayjs)                                                | 4.6-dev          | [QuickJS](https://bellard.org/quickjs)                               | MIT                  |
 | [raylib-raku](https://github.com/vushu/raylib-raku)                                      | **auto**         | [Raku](https://www.raku.org)                                         | Artistic License 2.0 |
-| [Raylib.lean](https://github.com/KislyjKisel/Raylib.lean)                                | 4.5              | [Lean4](https://lean-lang.org)                                       | BSD-3-Clause         |
+| [Raylib.lean](https://github.com/KislyjKisel/Raylib.lean)                                | **5.5-dev**      | [Lean4](https://lean-lang.org)                                       | BSD-3-Clause         |
 | [raylib-cobol](https://codeberg.org/glowiak/raylib-cobol)                                | **auto**         | [COBOL](https://gnucobol.sourceforge.io)                             | Public domain        |
 | [raylib-apl](https://github.com/Brian-ED/raylib-apl)                                     | **5.0**          | [Dyalog APL](https://www.dyalog.com/)                                | MIT                  |