This is the source code underlying the Human-Oriented Automatic Theorem Proving effort led by Tim Gowers.
The website is based off of the Start Bootstrap - Clean Blog Jekyll Teamplate.
The Start Bootstrap template is covered under the following Copyright:
Copyright 2013-2021 Start Bootstrap LLC. Code released under the MIT license.