Merge pull request #26 from Julian/theorems

Theorems -> Theorem

Author: kbuzzard

docs/_config.yml

@@ -18,7 +18,7 @@
 # You can create any custom variable you would like, and they will be accessible
 # in the templates via {{ site.myvariable }}.
 
-title: Fermat's Last Theorems
+title: Fermat's Last Theorem
 #email: [email protected]
 description: An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover.
 baseurl: "" # the subpath of your site, e.g. /blog