Add the Lean Glossary page now it's available for Lean 4

Author: Vierkantor

data/documentation.yaml

@@ -194,6 +194,18 @@ documentation:
       - logic
       - metaprogramming
       - programming
+  - title: Lean Glossary
+    url: "https://leanprover-community.github.io/glossary.html"
+    description: "Explanations of terminology one might encounter in the Lean community."
+    accessed_at: 2025-11-05
+    category: reference
+    tags:
+      - classes
+      - declarations
+      - development
+      - linters
+      - logic
+      - tactics
   - title: Logic and Proof
     url: "https://leanprover-community.github.io/logic_and_proof/"
     description: "Textbook on mathematical logic using Lean and natural deduction."