feat: add link tactic list (#591)

Add a link to the Verso project [Mathlib Manual](https://leanprover-community.github.io/mathlib-manual/html-multi/), currently featuring an auto-generated list of all tactics, along with some curated tactic lists.
leanprover-community · Feb 13, 2025 · 5875307 · 5875307
1 parent ceee1cc
commit 5875307
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/menus.yaml b/data/menus.yaml
@@ -21,6 +21,7 @@
     - Learning resources (start here): learn.html
     - API documentation: https://leanprover-community.github.io/mathlib4_docs
     - Declaration search (Loogle): https://loogle.lean-lang.org/
+    - Tactic list: https://leanprover-community.github.io/mathlib-manual/html-multi/
     - Calc mode: extras/calc.html
     - Conv mode: extras/conv.html
     - Simplifier: extras/simp.html