Update README.md

This commit is contained in:
Jack Dolgin 2020-08-06 01:21:48 -04:00 committed by GitHub
parent 0cb9af53ee
commit 253f054205
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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 * [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 * [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 * [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 ### Category Theory