aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosh Chen2019-11-29 16:52:10 +0100
committerGitHub2019-11-29 16:52:10 +0100
commitb4faf763660070e882f9f09985238e0fe4f47ad3 (patch)
tree2e8c52ef89e290abcc9a00fb9568b67900678f08
parent326475c661337d7511fbcfa126e66bc1f1bd83f6 (diff)
Change link
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 0837880..c1a30c2 100644
--- a/README.md
+++ b/README.md
@@ -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