From 8c9691796411214e95c59f5718686c16f3aa8a16 Mon Sep 17 00:00:00 2001
From: 9glenda <plan9git@proton.me>
Date: Wed, 4 Dec 2024 15:39:21 +0000
Subject: [PATCH] add lean4-nix (#260)

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 234cb72..6ffee7d 100644
--- a/README.md
+++ b/README.md
@@ -26,6 +26,7 @@
     * [Gleam](#gleam)
     * [Haskell](#haskell)
     * [Haxe](#haxe)
+    * [Lean](#lean)
     * [Node.js](#nodejs)
     * [OCaml](#ocaml)
     * [PHP](#php)
@@ -208,6 +209,10 @@
 * [haxix](https://github.com/MadMcCrow/haxix) - Nix flake to build haxe/Heaps.io projects.
 * [kebab](https://github.com/bwkam/kebab) - Haxe packages for Nix.
 
+### Lean
+
+* [lean4-nix](https://github.com/lenianiva/lean4-nix) -  Nix flake build for Lean 4, and `lake2nix`.
+
 ### Node.js
 
 * [Napalm](https://github.com/nix-community/napalm) - Support for building npm packages in Nix with a lightweight npm registry.