From d99c47989a1047cd24019fd5ce434e701b5d3519 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 7 Feb 2021 04:56:58 -0400
Subject: Mo' updates, less problems.

---
 documentation/bookmark/Type theory/Dependent types.md | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'documentation/bookmark/Type theory')

diff --git a/documentation/bookmark/Type theory/Dependent types.md b/documentation/bookmark/Type theory/Dependent types.md
index 9f8700676..b2afc30bd 100644
--- a/documentation/bookmark/Type theory/Dependent types.md	
+++ b/documentation/bookmark/Type theory/Dependent types.md	
@@ -43,3 +43,7 @@
 1. https://cs.ru.nl/~wouters/Publications/ThePowerOfPi.pdf
 1. [Algebraic Presentations of Dependent Type Theories](https://arxiv.org/abs/1602.08504v3)
 
+# Math | Proofs
+
+1. http://logipedia.inria.fr/about/about.php
+
-- 
cgit v1.2.3