diff options
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/Type theory/Dependent types.md | 4 |
1 files changed, 4 insertions, 0 deletions
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 + |