From 253f054205e03b09805aa2739b6bcf0a3b2de681 Mon Sep 17 00:00:00 2001 From: Jack Dolgin Date: Thu, 6 Aug 2020 01:21:48 -0400 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 2c8773f..3a47b2c 100644 --- a/README.md +++ b/README.md @@ -166,6 +166,7 @@ A curated list of awesome mathematics resources. * [Proofs and Concepts: the fundamentals of abstract mathematics](http://people.uleth.ca/~dave.morris/books/proofs+concepts.html) - Joy Morris, Dave Morris * [Mathematical Reasoning: Writing and Proof](https://www.tedsundstrom.com/mathreasoning) - Ted Sundstrom * [Logic and Proof](http://leanprover.github.io/logic_and_proof/) - Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn +* [QED - an interactive textbook](https://teorth.github.io/QED) - Terence Tao ### Category Theory