René's URL Explorer Experiment

Title: GitHub - ProofGeneral/proofgeneral.github.io: Sources for the Proof General website at https://proofgeneral.github.io/

Open Graph Title: GitHub - ProofGeneral/proofgeneral.github.io: Sources for the Proof General website at https://proofgeneral.github.io/

X Title: GitHub - ProofGeneral/proofgeneral.github.io: Sources for the Proof General website at https://proofgeneral.github.io/

Description: Sources for the Proof General website at https://proofgeneral.github.io/ - ProofGeneral/proofgeneral.github.io

Open Graph Description: Sources for the Proof General website at https://proofgeneral.github.io/ - ProofGeneral/proofgeneral.github.io

X Description: Sources for the Proof General website at https://proofgeneral.github.io/ - ProofGeneral/proofgeneral.github.io

Opengraph URL: https://github.com/ProofGeneral/proofgeneral.github.io

X: @github

direct link

Domain: github.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:4a8a93e1-870d-8728-8718-631dcfccb3f7
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	E9BC:22EFB2:38E145A:4CD8FE7:69809869
html-safe-nonce	2c63b075d28ddb23478d20cc9e1f144c010e983099e97f9809140ea0525ab3b4
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFOUJDOjIyRUZCMjozOEUxNDVBOjRDRDhGRTc6Njk4MDk4NjkiLCJ2aXNpdG9yX2lkIjoiNTEyMTA5MzcxNzMwNTg5MDkyMSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac	2cb3ee467032704ec1295ee88b9611aa7659c70128d6f48bf71a4dcc329afb96
hovercard-subject-tag	repository:43201920
github-keyboard-shortcuts	repository,copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	//
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/ProofGeneral/proofgeneral.github.io
twitter:image	https://opengraph.githubassets.com/21bb0068dfddd488bebece0c86e0143541402ad45ea2626579df27c3d26f06c2/ProofGeneral/proofgeneral.github.io
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/21bb0068dfddd488bebece0c86e0143541402ad45ea2626579df27c3d26f06c2/ProofGeneral/proofgeneral.github.io
og:image:alt	Sources for the Proof General website at https://proofgeneral.github.io/ - ProofGeneral/proofgeneral.github.io
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	c56f5f95bb0c3376cbc3c4b222c4f5b1ec18eba52cfeb21288e62fd4b100bd85
turbo-cache-control	no-preview
go-import	github.com/ProofGeneral/proofgeneral.github.io git https://github.com/ProofGeneral/proofgeneral.github.io.git
octolytics-dimension-user_id	12037073
octolytics-dimension-user_login	ProofGeneral
octolytics-dimension-repository_id	43201920
octolytics-dimension-repository_nwo	ProofGeneral/proofgeneral.github.io
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	false
octolytics-dimension-repository_network_root_id	43201920
octolytics-dimension-repository_network_root_nwo	ProofGeneral/proofgeneral.github.io
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	ffc0eec1a796e66c7f4ef486af4da95b7d6bc36b
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://github.com/ProofGeneral/proofgeneral.github.io#start-of-content
	https://github.com/
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FProofGeneral%2Fproofgeneral.github.io
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FProofGeneral%2Fproofgeneral.github.io
Sign up	https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=ProofGeneral%2Fproofgeneral.github.io
Reload	https://github.com/ProofGeneral/proofgeneral.github.io
Reload	https://github.com/ProofGeneral/proofgeneral.github.io
Reload	https://github.com/ProofGeneral/proofgeneral.github.io
ProofGeneral	https://github.com/ProofGeneral
proofgeneral.github.io	https://github.com/ProofGeneral/proofgeneral.github.io
Notifications	https://github.com/login?return_to=%2FProofGeneral%2Fproofgeneral.github.io
Fork 5	https://github.com/login?return_to=%2FProofGeneral%2Fproofgeneral.github.io
Star 3	https://github.com/login?return_to=%2FProofGeneral%2Fproofgeneral.github.io
https://proofgeneral.github.io/	https://proofgeneral.github.io/
MIT license	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/LICENSE
3 stars	https://github.com/ProofGeneral/proofgeneral.github.io/stargazers
5 forks	https://github.com/ProofGeneral/proofgeneral.github.io/forks
Branches	https://github.com/ProofGeneral/proofgeneral.github.io/branches
Tags	https://github.com/ProofGeneral/proofgeneral.github.io/tags
Activity	https://github.com/ProofGeneral/proofgeneral.github.io/activity
Star	https://github.com/login?return_to=%2FProofGeneral%2Fproofgeneral.github.io
Notifications	https://github.com/login?return_to=%2FProofGeneral%2Fproofgeneral.github.io
Code	https://github.com/ProofGeneral/proofgeneral.github.io
Issues 0	https://github.com/ProofGeneral/proofgeneral.github.io/issues
Pull requests 0	https://github.com/ProofGeneral/proofgeneral.github.io/pulls
Actions	https://github.com/ProofGeneral/proofgeneral.github.io/actions
Projects 0	https://github.com/ProofGeneral/proofgeneral.github.io/projects
Wiki	https://github.com/ProofGeneral/proofgeneral.github.io/wiki
Security 0	https://github.com/ProofGeneral/proofgeneral.github.io/security
Insights	https://github.com/ProofGeneral/proofgeneral.github.io/pulse
Code	https://github.com/ProofGeneral/proofgeneral.github.io
Issues	https://github.com/ProofGeneral/proofgeneral.github.io/issues
Pull requests	https://github.com/ProofGeneral/proofgeneral.github.io/pulls
Actions	https://github.com/ProofGeneral/proofgeneral.github.io/actions
Projects	https://github.com/ProofGeneral/proofgeneral.github.io/projects
Wiki	https://github.com/ProofGeneral/proofgeneral.github.io/wiki
Security	https://github.com/ProofGeneral/proofgeneral.github.io/security
Insights	https://github.com/ProofGeneral/proofgeneral.github.io/pulse
Branches	https://github.com/ProofGeneral/proofgeneral.github.io/branches
Tags	https://github.com/ProofGeneral/proofgeneral.github.io/tags
	https://github.com/ProofGeneral/proofgeneral.github.io/branches
	https://github.com/ProofGeneral/proofgeneral.github.io/tags
432 Commits	https://github.com/ProofGeneral/proofgeneral.github.io/commits/master/
	https://github.com/ProofGeneral/proofgeneral.github.io/commits/master/
_includes	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_includes
_includes	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_includes
_layouts	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_layouts
_layouts	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_layouts
_plugins	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_plugins
_plugins	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_plugins
_posts	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_posts
_posts	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_posts
_posts_demo	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_posts_demo
_posts_demo	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/_posts_demo
css	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/css
css	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/css
doc	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/doc
doc	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/doc
img	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/img
img	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/img
js	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/js
js	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/js
news	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/news
news	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/news
screenshots	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/screenshots
screenshots	https://github.com/ProofGeneral/proofgeneral.github.io/tree/master/screenshots
.gitignore	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/.gitignore
.gitignore	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/.gitignore
404.html	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/404.html
404.html	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/404.html
AUTHORS.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/AUTHORS.md
AUTHORS.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/AUTHORS.md
Gemfile	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/Gemfile
Gemfile	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/Gemfile
LICENSE	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/LICENSE
LICENSE	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/LICENSE
README.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/README.md
README.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/README.md
Vagrantfile	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/Vagrantfile
Vagrantfile	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/Vagrantfile
_config.yml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/_config.yml
_config.yml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/_config.yml
about.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/about.md
about.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/about.md
android-chrome-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-144x144.png
android-chrome-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-144x144.png
android-chrome-192x192.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-192x192.png
android-chrome-192x192.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-192x192.png
android-chrome-36x36.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-36x36.png
android-chrome-36x36.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-36x36.png
android-chrome-48x48.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-48x48.png
android-chrome-48x48.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-48x48.png
android-chrome-72x72.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-72x72.png
android-chrome-72x72.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-72x72.png
android-chrome-96x96.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-96x96.png
android-chrome-96x96.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/android-chrome-96x96.png
apple-touch-icon-114x114.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-114x114.png
apple-touch-icon-114x114.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-114x114.png
apple-touch-icon-120x120.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-120x120.png
apple-touch-icon-120x120.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-120x120.png
apple-touch-icon-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-144x144.png
apple-touch-icon-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-144x144.png
apple-touch-icon-152x152.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-152x152.png
apple-touch-icon-152x152.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-152x152.png
apple-touch-icon-180x180.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-180x180.png
apple-touch-icon-180x180.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-180x180.png
apple-touch-icon-57x57.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-57x57.png
apple-touch-icon-57x57.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-57x57.png
apple-touch-icon-60x60.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-60x60.png
apple-touch-icon-60x60.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-60x60.png
apple-touch-icon-72x72.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-72x72.png
apple-touch-icon-72x72.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-72x72.png
apple-touch-icon-76x76.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-76x76.png
apple-touch-icon-76x76.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-76x76.png
apple-touch-icon-precomposed.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-precomposed.png
apple-touch-icon-precomposed.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon-precomposed.png
apple-touch-icon.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon.png
apple-touch-icon.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/apple-touch-icon.png
browserconfig.xml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/browserconfig.xml
browserconfig.xml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/browserconfig.xml
devel.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/devel.md
devel.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/devel.md
download.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/download.md
download.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/download.md
favicon-16x16.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-16x16.png
favicon-16x16.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-16x16.png
favicon-32x32.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-32x32.png
favicon-32x32.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-32x32.png
favicon-96x96.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-96x96.png
favicon-96x96.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon-96x96.png
favicon.ico	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon.ico
favicon.ico	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/favicon.ico
features.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/features.md
features.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/features.md
feed.xml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/feed.xml
feed.xml	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/feed.xml
index.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/index.md
index.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/index.md
links.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/links.md
links.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/links.md
manifest.json	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/manifest.json
manifest.json	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/manifest.json
mstile-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-144x144.png
mstile-144x144.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-144x144.png
mstile-150x150.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-150x150.png
mstile-150x150.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-150x150.png
mstile-310x150.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-310x150.png
mstile-310x150.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-310x150.png
mstile-310x310.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-310x310.png
mstile-310x310.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-310x310.png
mstile-70x70.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-70x70.png
mstile-70x70.png	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/mstile-70x70.png
pubs.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/pubs.md
pubs.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/pubs.md
safari-pinned-tab.svg	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/safari-pinned-tab.svg
safari-pinned-tab.svg	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/safari-pinned-tab.svg
README	https://github.com/ProofGeneral/proofgeneral.github.io
MIT license	https://github.com/ProofGeneral/proofgeneral.github.io
	https://github.com/ProofGeneral/proofgeneral.github.io#beautiful-jekyll
Check out a demo	http://deanattali.com/beautiful-jekyll
my personal website	http://deanattali.com
here	https://github.com/ProofGeneral/proofgeneral.github.io#featured-users-success-stories
contact me	http://deanattali.com/aboutme#contact
hear about it	http://deanattali.com/aboutme#contact
supporting me	https://www.paypal.me/daattali/20
Jekyll	http://jekyllrb.com/
GitHub Pages	https://pages.github.com/
	https://github.com/ProofGeneral/proofgeneral.github.io#table-of-contents
Prerequisites	https://github.com/ProofGeneral/proofgeneral.github.io#prerequisites
Build your website in 3 steps	https://github.com/ProofGeneral/proofgeneral.github.io#build-your-website-in-3-steps
Add your own content	https://github.com/ProofGeneral/proofgeneral.github.io#add-your-own-content
Last important thing: YAML front matter ("parameters" for a page)	https://github.com/ProofGeneral/proofgeneral.github.io#last-important-thing-yaml-front-matter-parameters-for-a-page
Basic features	https://github.com/ProofGeneral/proofgeneral.github.io#basic-features
Advanced features	https://github.com/ProofGeneral/proofgeneral.github.io#advanced-features-including-how-to-use-a-custom-url-address-for-your-site
Featured users (success stories!)	https://github.com/ProofGeneral/proofgeneral.github.io#featured-users-success-stories
Very advanced: local development	https://github.com/ProofGeneral/proofgeneral.github.io#very-advanced-local-development
Credits	https://github.com/ProofGeneral/proofgeneral.github.io#credits
Contributions	https://github.com/ProofGeneral/proofgeneral.github.io#contributions
Known limitations	https://github.com/ProofGeneral/proofgeneral.github.io#known-limitations
	https://github.com/ProofGeneral/proofgeneral.github.io#prerequisites
sign up here	https://github.com/join
with this amazingly easy yet useful tutorial	http://markdowntutorial.com/
	https://github.com/ProofGeneral/proofgeneral.github.io#build-your-website-in-3-steps
	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/img/install-steps.gif
	https://github.com/ProofGeneral/proofgeneral.github.io#1-fork-this-repository
	https://github.com/ProofGeneral/proofgeneral.github.io#2-rename-the-repository-to-yourusernamegithubio
	https://github.com/ProofGeneral/proofgeneral.github.io#3-customize-your-website-settings
prose.io	http://prose.io/
	https://github.com/ProofGeneral/proofgeneral.github.io#add-your-own-content
tutorial I mentioned above	http://markdowntutorial.com/
aboutme.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/aboutme.md
index.html	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/index.html
_posts	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/_posts
_posts	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/_posts
prose.io	http://prose.io/
	https://github.com/ProofGeneral/proofgeneral.github.io#last-important-thing-yaml-front-matter-parameters-for-a-page
YAML front matter	http://jekyllrb.com/docs/frontmatter/
aboutme.md	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/aboutme.md
index.html	https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/index.html
	https://github.com/ProofGeneral/proofgeneral.github.io#basic-features
	https://github.com/ProofGeneral/proofgeneral.github.io#mobile-first
	https://github.com/ProofGeneral/proofgeneral.github.io#personalization
	https://github.com/ProofGeneral/proofgeneral.github.io#allowing-users-to-leave-comments
Disqus	https://disqus.com/
	https://github.com/ProofGeneral/proofgeneral.github.io#adding-google-analytics-to-track-page-views
Google Analytics	http://www.google.com/analytics/
	https://github.com/ProofGeneral/proofgeneral.github.io#page-types
	https://github.com/ProofGeneral/proofgeneral.github.io#yaml-front-matter-parameters
my personal website	http://deanattali.com/
	https://github.com/ProofGeneral/proofgeneral.github.io#rss-feed
	https://github.com/ProofGeneral/proofgeneral.github.io#github-project-page-vs-user-page
daattali.github.io/beautiful-jekyll	http://deanattali.com/beautiful-jekyll
daattali.github.io	http://deanattali.com
	https://github.com/ProofGeneral/proofgeneral.github.io#advanced-features-including-how-to-use-a-custom-url-address-for-your-site
a blog post	http://deanattali.com/2015/03/12/beautiful-jekyll-how-to-build-a-site-in-minutes/
	https://github.com/ProofGeneral/proofgeneral.github.io#featured-users-success-stories
Contact me	http://deanattali.com/aboutme#contact
	https://github.com/ProofGeneral/proofgeneral.github.io#projectcompany-websites
teampass.net	http://teampass.net
derekogle.com/fishR	http://derekogle.com/fishR/
bigdata.juju.solutions	http://bigdata.juju.solutions
joecks.github.io/clipboard-actions	http://joecks.github.io/clipboard-actions/
embedded.guide	http://embedded.guide
blabel.github.io	http://blabel.github.io
organicrails.github.io	http://organicrails.github.io
esentire.github.io	https://esentire.github.io
reactionic.github.io	http://reactionic.github.io
ja2-stracciatella.github.io	http://ja2-stracciatella.github.io
	https://github.com/ProofGeneral/proofgeneral.github.io#personal-websites
deanattali.com	http://deanattali.com
ouzor.github.io	http://ouzor.github.io
derekogle.com	http://derekogle.com/
tomwhite.io	http://tomwhite.io
trappmartin.github.io	http://trappmartin.github.io
melyanna.github.io	http://melyanna.github.io/
chaitanyajoshi.xyz	http://chaitanyajoshi.xyz/
chauff.github.io	http://chauff.github.io/
kootenpv.github.io	http://kootenpv.github.io/
sjackman.ca	http://sjackman.ca
	https://github.com/ProofGeneral/proofgeneral.github.io#very-advanced-local-development
VirtualBox	http://virtualbox.org
Vagrant	https://www.vagrantup.com
	https://github.com/ProofGeneral/proofgeneral.github.io#credits
Barry Clark	https://github.com/barryclark
Jekyll Now	https://github.com/barryclark/jekyll-now
Iron Summit Media	https://github.com/IronSummitMedia
Bootstrap Clean Blog	https://github.com/IronSummitMedia/startbootstrap-clean-blog
Dr. Jekyll's Themes	http://drjekyllthemes.github.io/
Jekyll Themes	http://jekyllthemes.org/
Jekyll Themes	http://jekyllrc.github.io/jekyllthemes/
	https://github.com/ProofGeneral/proofgeneral.github.io#contributions
	https://github.com/ProofGeneral/proofgeneral.github.io#known-limitations
https://help.github.com/articles/custom-404-pages/	https://help.github.com/articles/custom-404-pages/
https://proofgeneral.github.io/	https://proofgeneral.github.io/
Readme	https://github.com/ProofGeneral/proofgeneral.github.io#readme-ov-file
MIT license	https://github.com/ProofGeneral/proofgeneral.github.io#MIT-1-ov-file
Please reload this page	https://github.com/ProofGeneral/proofgeneral.github.io
Activity	https://github.com/ProofGeneral/proofgeneral.github.io/activity
Custom properties	https://github.com/ProofGeneral/proofgeneral.github.io/custom-properties
3 stars	https://github.com/ProofGeneral/proofgeneral.github.io/stargazers
7 watching	https://github.com/ProofGeneral/proofgeneral.github.io/watchers
5 forks	https://github.com/ProofGeneral/proofgeneral.github.io/forks
Report repository	https://github.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2FProofGeneral%2Fproofgeneral.github.io&report=ProofGeneral+%28user%29
Releases	https://github.com/ProofGeneral/proofgeneral.github.io/releases
Packages 0	https://github.com/orgs/ProofGeneral/packages?repo_name=proofgeneral.github.io
Please reload this page	https://github.com/ProofGeneral/proofgeneral.github.io
Contributors 16	https://github.com/ProofGeneral/proofgeneral.github.io/graphs/contributors
Please reload this page	https://github.com/ProofGeneral/proofgeneral.github.io
+ 2 contributors	https://github.com/ProofGeneral/proofgeneral.github.io/graphs/contributors
CSS 44.6%	https://github.com/ProofGeneral/proofgeneral.github.io/search?l=css
HTML 43.8%	https://github.com/ProofGeneral/proofgeneral.github.io/search?l=html
JavaScript 9.0%	https://github.com/ProofGeneral/proofgeneral.github.io/search?l=javascript
Ruby 2.6%	https://github.com/ProofGeneral/proofgeneral.github.io/search?l=ruby
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.