diff options
| author | Josh Chen | 2019-11-29 16:52:10 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-29 16:52:10 +0100 |
| commit | b4faf763660070e882f9f09985238e0fe4f47ad3 (patch) | |
| tree | 2e8c52ef89e290abcc9a00fb9568b67900678f08 | |
| parent | 326475c661337d7511fbcfa126e66bc1f1bd83f6 (diff) | |
Change link
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ Work is slowly ongoing to develop the logic into a fully-featured framework in w While Isabelle has provided support for object logics based on Martin-Löf type theory since the beginning, these have largely been ignored in favor of Isabelle/HOL. Thus this project is also an experiment in creating a viable framework, based on dependent type theory, inside the simple type theoretic foundations of Isabelle/Pure. -A writeup of some theoretical considerations in this implementation is in my [Masters thesis](https://joshchen.io/assets/ms_thesis_submitted.pdf). +A writeup of some theoretical considerations in this implementation is in my [Masters thesis](https://arxiv.org/abs/1911.00399). ### License |