Update draft paper location

Signed-off-by: zeramorphic <[email protected]>

README.md

@@ -5,7 +5,7 @@
 In 1937, Quine proposed a set theory called "New Foundations", and since 2010, Randall Holmes has claimed to have a proof of its consistency.
 In this repository, we use the formal theorem prover Lean to verify the difficult part of his proof, thus proving that New Foundations is indeed consistent.
 
-See [our website](https://leanprover-community.github.io/con-nf/) for more information, the [documentation of our Lean code](https://leanprover-community.github.io/con-nf/doc/), and the [draft paper](https://zeramorphic.github.io/con-nf-paper/main.pdf) aiming to translate the Lean definitions into English.
+See [our website](https://leanprover-community.github.io/con-nf/) for more information, the [documentation of our Lean code](https://leanprover-community.github.io/con-nf/doc/), and the [draft paper](https://zeramorphic.github.io/con-nf-paper/main.l.pdf) aiming to translate the Lean definitions into English.
 
 To run our code locally, install [elan](https://github.com/leanprover/elan), clone the repository, and run the following command in a terminal in the repository's root directory.
 ```

docs/_layouts/default.html

@@ -31,7 +31,7 @@ <h2 class="project-tagline">{{ page.description | default: site.description | de
     {% if site.github.is_project_page %}
     <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
     {% endif %}
-    <a href="https://zeramorphic.github.io/con-nf-paper/main.pdf" class="btn">Draft paper</a>
+    <a href="https://zeramorphic.github.io/con-nf-paper/main.l.pdf" class="btn">Draft paper</a>
     {% if site.show_downloads %}
     <a href="{{ site.github.zip_url }}" class="btn">Download .zip</a>
     <a href="{{ site.github.tar_url }}" class="btn">Download .tar.gz</a>

docs/index.md

@@ -10,7 +10,7 @@
 In 1937, Quine proposed a set theory called "New Foundations", and since 2010, Randall Holmes has claimed to have a proof of its consistency.
 In this repository, we use the formal theorem prover Lean to verify the difficult part of his proof, thus proving that New Foundations is indeed consistent.
 
-See [our website](https://leanprover-community.github.io/con-nf/) for more information, the [documentation of our Lean code](https://leanprover-community.github.io/con-nf/doc/), and the [draft paper](https://zeramorphic.github.io/con-nf-paper/main.pdf) aiming to translate the Lean definitions into English.
+See [our website](https://leanprover-community.github.io/con-nf/) for more information, the [documentation of our Lean code](https://leanprover-community.github.io/con-nf/doc/), and the [draft paper](https://zeramorphic.github.io/con-nf-paper/main.l.pdf) aiming to translate the Lean definitions into English.
 
 To run our code locally, install [elan](https://github.com/leanprover/elan), clone the repository, and run the following command in a terminal in the repository's root directory.
 ```