ProofFrog
diff --git a/‎assets/Ross_Evans_Masters_Thesis.pdf‎
-1.61 MB b/‎assets/Ross_Evans_Masters_Thesis.pdf‎
-1.61 MB
diff --git a/‎index.md‎
Lines changed: 1 addition & 1 deletion b/‎index.md‎
Lines changed: 1 addition & 1 deletion
@@ -29,4 +29,4 @@ See the [GitHub repo](https://github.com/ProofFrog/ProofFrog) for source code an
 
 # Thesis
 
-For a very in-depth description of the inner-workings of ProofFrog, see [the accompanying thesis](/assets/Ross_Evans_Masters_Thesis.pdf).
+For a very in-depth description of the inner-workings of ProofFrog, see [the accompanying thesis](https://uwspace.uwaterloo.ca/bitstream/handle/10012/20441/Evans_Ross.pdf).
Original file line number	Diff line number	Diff line change
`@@ -29,4 +29,4 @@ See the [GitHub repo](https://github.com/ProofFrog/ProofFrog) for source code an`
`29`	`29`
`30`	`30`	`# Thesis`
`31`	`31`
`32`		`-For a very in-depth description of the inner-workings of ProofFrog, see [the accompanying thesis](/assets/Ross_Evans_Masters_Thesis.pdf).`
	`32`	`+For a very in-depth description of the inner-workings of ProofFrog, see [the accompanying thesis](https://uwspace.uwaterloo.ca/bitstream/handle/10012/20441/Evans_Ross.pdf).`