Merge pull request #54 from Kratacoa/patch-3

LO: added "Open Logic Text"
This commit is contained in:
Cyrille Rossant 2020-09-18 11:38:53 +02:00 committed by GitHub
commit 2a9abd9160
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -167,6 +167,7 @@ A curated list of awesome mathematics resources.
* [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 * [QED - an interactive textbook](https://teorth.github.io/QED) - Terence Tao
* [Open Logic Textbook](http://builds.openlogicproject.org/) - collaborative effort, main contributors listed [here](https://openlogicproject.org/people/)
### Category Theory ### Category Theory