From ebb3314b0b3561e86606faa633459ea7457ae9d9 Mon Sep 17 00:00:00 2001 From: SinTan1729 Date: Wed, 7 Feb 2024 16:59:04 -0600 Subject: [PATCH] fix: Typo --- references.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/references.md b/references.md index 6491bdb..82adcf4 100644 --- a/references.md +++ b/references.md @@ -1,6 +1,6 @@ # References -1. [Mathematics in Lean by Patrick Mossad and Jeremy Avigad](https://leanprover-community.github.io/mathematics_in_lean/mathematics_in_lean.pdf) +1. [Mathematics in Lean by Jeremy Avigad and Patrick Massot](https://leanprover-community.github.io/mathematics_in_lean/mathematics_in_lean.pdf) 2. [The Mathlib 4 API docs](https://leanprover-community.github.io/mathlib4_docs/) 3. [The Lean Zulip Chat](https://leanprover.zulipchat.com/)