From d18fb21144fccb42b671c1f12da4ce19d314565b Mon Sep 17 00:00:00 2001
From: rami3l <rami3l@outlook.com>
Date: Sun, 12 May 2024 10:17:57 +0800
Subject: [PATCH] feat(pack): add Lean language pack

---
 lua/astrocommunity/pack/lean/README.md |  4 ++++
 lua/astrocommunity/pack/lean/init.lua  | 16 ++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 lua/astrocommunity/pack/lean/README.md
 create mode 100644 lua/astrocommunity/pack/lean/init.lua

diff --git a/lua/astrocommunity/pack/lean/README.md b/lua/astrocommunity/pack/lean/README.md
new file mode 100644
index 000000000..f7eca5564
--- /dev/null
+++ b/lua/astrocommunity/pack/lean/README.md
@@ -0,0 +1,4 @@
+# Lean Language Pack
+This plugin pack does the following:
+
+- Adds [lean.nvim](https://github.com/Julian/lean.nvim) for language specific tooling
diff --git a/lua/astrocommunity/pack/lean/init.lua b/lua/astrocommunity/pack/lean/init.lua
new file mode 100644
index 000000000..f753c58ad
--- /dev/null
+++ b/lua/astrocommunity/pack/lean/init.lua
@@ -0,0 +1,16 @@
+---@type LazySpec
+return {
+  {
+    "Julian/lean.nvim",
+    ft = { "lean" },
+    opts = {
+      lsp = {
+        on_attach = function(...)
+          local astrolsp_avail, astrolsp = pcall(require, "astrolsp")
+          if astrolsp_avail then astrolsp.on_attach(...) end
+        end,
+      },
+      mappings = true,
+    },
+  },
+}