Human-Oriented Automatic Theorem Proving Webpage

This is the source code underlying the Human-Oriented Automatic Theorem Proving effort led by Tim Gowers.

The Start Bootstrap template is covered under the following Copyright:

Name		Name	Last commit message	Last commit date
Latest commit History 516 Commits
.jekyll-cache/Jekyll/Cache/Jekyll--Cache/b7		.jekyll-cache/Jekyll/Cache/Jekyll--Cache/b7
_includes		_includes
_layouts		_layouts
_posts		_posts
_sass		_sass
_site		_site
assets		assets
bin		bin
documents		documents
img		img
posts		posts
.DS_Store		.DS_Store
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
LICENSE		LICENSE
README.md		README.md
_config.yml		_config.yml
about.html		about.html
backup_team_page.html		backup_team_page.html
backup_vertical_team.html		backup_vertical_team.html
contact.html		contact.html
custom_styling.css		custom_styling.css
index.html		index.html
jekyll-theme-clean-blog.gemspec		jekyll-theme-clean-blog.gemspec
minutes.md		minutes.md
motivatedproofexamples.md		motivatedproofexamples.md
motivatedproofs.md		motivatedproofs.md
package-lock.json		package-lock.json
package.json		package.json
problemlist.md		problemlist.md
resources.html		resources.html
team.html		team.html
waysToParticipate.html		waysToParticipate.html

Provide feedback