_config.yml

title:              Human-Oriented Automatic Theorem Proving
email:              wtg10@dpmms.cam.ac.uk
description:        
author:             Human-Oriented ATP Team (modified from Start Bootstrap Theme)
baseurl:            "/human-style-atp"
url:                "https://wtgowers.github.io/human-style-atp/"

# Social Profiles
twitter_username:
github_username:
facebook_username:
instagram_username:
linkedin_username:

# Add your google-analytics ID here to activate google analytics
google_analytics:   UA-XXXXXXXXX-X # out your google-analytics code

# Build settings
markdown:           GFM
paginate:           5
paginate_path:      "/posts/page:num/"
plugins:
  - jekyll-feed
  - jekyll-paginate
  - jekyll-sitemap ## Uncomment this line to silently generate a sitemaps.org compliant sitemap for your Jekyll site