From 7dc72b3eacbaeb4b4961f61adeb2eac7e9dd3fa3 Mon Sep 17 00:00:00 2001
From: Kratacoa <40217062+Kratacoa@users.noreply.github.com>
Date: Tue, 15 Sep 2020 17:34:19 +0200
Subject: [PATCH] LO: added "Open Logic Text"

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

diff --git a/README.md b/README.md
index 3a47b2c..f42b42d 100644
--- a/README.md
+++ b/README.md
@@ -167,6 +167,7 @@ A curated list of awesome mathematics resources.
 * [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
+* [Open Logic Textbook](http://builds.openlogicproject.org/) - collaborative effort, main contributors listed [here](https://openlogicproject.org/people/)
 
 ### Category Theory