diff options
| author | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
| commit | d99c47989a1047cd24019fd5ce434e701b5d3519 (patch) | |
| tree | 19bfb0f5e4713e5dcd0c71bbd7b88d09d75dfe5d /documentation/bookmark/Type theory/Dependent types.md | |
| parent | 571d816dfd0b056a1649f5057867abbfa4421f5d (diff) | |
Mo' updates, less problems.
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 + |