many updates

leanprover-community · Jan 25, 2025 · 9148932 · 9148932
1 parent f3ad906
commit 9148932
Show file tree

Hide file tree

Showing 3 changed files with 323 additions and 61 deletions.
diff --git a/Manual.lean b/Manual.lean
@@ -18,11 +18,10 @@ tag := "mathlib-manual"
 
 This file has been created with Lean {versionString}[].
 
-The automatically generated
-[Mathlib Documentation](https://leanprover-community.github.io/mathlib4_docs/index.html)
-contains a systematic list of all declarations from Mathlib.
-
-The [Lean Language Reference](https://lean-lang.org/doc/reference/latest/) contains
-detailed information about Lean Code.
+**Other resources**:
+- [Mathlib Documentation](https://leanprover-community.github.io/mathlib4_docs/index.html):
+  automatically generated collection of all declarations from Mathlib.
+- The [Lean Language Reference](https://lean-lang.org/doc/reference/latest/) contains
+  detailed information about Lean Code.
 
 {include 0 Manual.Tactics}