From 3b078f5f1de251637decf04bd3fc8aa01930a6b3 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpvdoorn@gmail.com>
Date: Mon, 15 May 2023 18:56:12 +0200
Subject: [PATCH] Update README.md: linkfix

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4e7465f..138e92c 100644
--- a/README.md
+++ b/README.md
@@ -100,7 +100,7 @@ These projects are done
 
 
 #### Done
-- Most things in the HoTT Book up to Section 8.9 (see [this file](https://github.com/leanprover/lean/blob/master/hott/book.md))
+- Most things in the HoTT Book up to Section 8.9 (see [this file](https://github.com/leanprover/lean2/blob/master/hott/book.md))
 - pointed types, maps, homotopies and equivalences
 - [Eilenberg-MacLane spaces](http://ncatlab.org/nlab/show/Eilenberg-Mac+Lane+space) and EM-spectrum
 - fiber sequence