From 2f08f435b91a08c57bf7e381a46381770a00791e Mon Sep 17 00:00:00 2001
From: Daniil Kisel <56605335+KislyjKisel@users.noreply.github.com>
Date: Fri, 13 Oct 2023 21:54:15 +0300
Subject: [PATCH] Add Raylib.lean to BINDINGS.md (#3409)

---
 BINDINGS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/BINDINGS.md b/BINDINGS.md
index 47a1c0a27..e08f8f79e 100644
--- a/BINDINGS.md
+++ b/BINDINGS.md
@@ -81,6 +81,7 @@ Some people ported raylib to other languages in form of bindings or wrappers to
 | rayed-bqn          | **auto** | [BQN](https://mlochbaum.github.io/BQN/) | MIT | https://github.com/Brian-ED/rayed-bqn | 
 | rayjs              | 4.6-dev | [QuickJS](https://bellard.org/quickjs/)    | MIT | https://github.com/mode777/rayjs    |
 | raylib-raku        | **auto** | [Raku](https://www.raku.org/) | Artistic License 2.0 | https://github.com/vushu/raylib-raku |
+| Raylib.lean        | 4.5     | [Lean4](https://lean-lang.org/) | BSD-3-Clause | https://github.com/KislyjKisel/Raylib.lean |
 
 ### Utility Wrapers
 These are utility wrappers for specific languages, they are not required to use raylib in the language but may adapt the raylib API to be more inline with the language's pardigm.