Upload thesis

Author: Qcode

Gemfile.lock

@@ -68,10 +68,9 @@ GEM
     rexml (3.2.6)
     rouge (4.2.0)
     safe_yaml (1.0.5)
-    sass-embedded (1.71.1-arm64-darwin)
-      google-protobuf (~> 3.25)
-    sass-embedded (1.71.1-x86_64-linux-gnu)
-      google-protobuf (~> 3.25)
+    sass-embedded (1.69.5)
+      google-protobuf (~> 3.23)
+      rake (>= 13.0.0)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     unicode-display_width (2.5.0)
@@ -83,8 +82,8 @@ PLATFORMS
 
 DEPENDENCIES
   jekyll (~> 4.3.3)
-  just-the-docs (= 0.8.1)
   jekyll-katex
+  just-the-docs (= 0.8.1)
 
 BUNDLED WITH
    2.3.26

assets/Ross_Evans_Masters_Thesis.pdf

@@ -26,3 +26,7 @@ proof_frog prove 'examples/Proofs/SymEnc/OTUC=>OTS.proof'
 # Development
 
 See the [GitHub repo](https://github.com/ProofFrog/ProofFrog) for source code and development information.
+
+# Thesis
+
+For a very in-depth description of the inner-workings of ProofFrog, see [the accompanying thesis](/assets/Ross_Evans_Masters_Thesis.pdf).