update home_page

mo271 · Sep 22, 2024 · 63c63b6 · 63c63b6
1 parent df11c35
commit 63c63b6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/home_page/_config.yml b/home_page/_config.yml
@@ -20,7 +20,7 @@
 
 title: Formal BOOK
 #email: [email protected]
-description: by Moritz Firsching
+description: formalizing "Proofs from THE BOOK" by Martin Aigner and Günter M. Ziegler
 baseurl: "FormalBook/" # the subpath of your site, e.g. /blog
 url: "firsching.ch" # the base hostname & protocol for your site, e.g. http://example.com
 twitter_username:

diff --git a/home_page/_layouts/default.html b/home_page/_layouts/default.html
@@ -23,6 +23,7 @@ <h1 class="project-name">{{ page.title | default: site.title | default: site.git
     <h2 class="project-tagline">{{ page.description | default: site.description | default: site.github.project_tagline
       }}</h2>
     <a href="blueprint" class="btn">Blueprint (web)</a>
+    <a href="blueprint/dep_graph_document.html" class="btn">Dependency Graph</a>
     <a href="docs" class="btn">Documentation</a>
     {% if site.github.is_project_page %}
     <a href="{{ site.github.repository_url }}" class="btn">GitHub</a>

diff --git a/home_page/index.md b/home_page/index.md
@@ -8,7 +8,7 @@ usemathjax: true
 
 Useful links:
 
-* [Zulip chat for Lean](https://leanprover.zulipchat.com/) for coordination
+* [Zulip chat for Lean](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Proofs.20from.20the.20book) for coordination
 * [Blueprint](blueprint/)
 * [Blueprint as pdf](blueprint.pdf)
 * [Dependency graph](blueprint/dep_graph_document.html)