Update site with basic info

Author: Qcode

Gemfile.lock

@@ -11,8 +11,7 @@ GEM
     eventmachine (1.2.7)
     ffi (1.16.3)
     forwardable-extended (2.6.0)
-    google-protobuf (3.25.1-arm64-darwin)
-    google-protobuf (3.25.1-x86_64-linux)
+    google-protobuf (3.25.2)
     http_parser.rb (0.8.0)
     i18n (1.14.1)
       concurrent-ruby (~> 1.0)

_config.yml

@@ -1,8 +1,8 @@
-title: Just the Docs Template
-description: A starter template for a Jeykll site using the Just the Docs theme!
+title: Proof Frog
+description: A tool for verifying game-hopping proofs
 theme: just-the-docs
 
 url: https://just-the-docs.github.io
 
 aux_links:
-  Template Repository: https://github.com/just-the-docs/just-the-docs-template
+  ProofFrog Hub: https://github.com/ProofFrog

_sass/custom/custom.scss

@@ -0,0 +1,8 @@
+.site-title::after {
+	background-image: url("../../prooffrog.png");
+	width: 46px;
+	height: 40px;
+	content: "";
+	background-size: cover;
+	margin-left: 10px;
+}

favicon.ico

@@ -1,35 +1,27 @@
 ---
-title: Home
+title: Proof Frog
 layout: home
 ---
 
-This is a *bare-minimum* template to create a Jekyll site that uses the [Just the Docs] theme. You can easily set the created site to be published on [GitHub Pages] – the [README] file explains how to do that, along with other details.
+ProofFrog is a tool for verifying game-hopping proofs.
 
-If [Jekyll] is installed on your computer, you can also build and preview the created site *locally*. This lets you test changes before committing them, and avoids waiting for GitHub Pages.[^1] And you will be able to deploy your local build to a different platform than GitHub Pages.
+# Installation
 
-More specifically, the created site:
+ProofFrog is implemented in python and can be installed using `pip`:
 
-- uses a gem-based approach, i.e. uses a `Gemfile` and loads the `just-the-docs` gem
-- uses the [GitHub Pages / Actions workflow] to build and publish the site on GitHub Pages
+`pip install proof_frog`
 
-Other than that, you're free to customize sites that you create with this template, however you like. You can easily change the versions of `just-the-docs` and Jekyll it uses, as well as adding further plugins.
+The `proof_frog` CLI will then be available on your PATH.
 
-[Browse our documentation][Just the Docs] to learn more about how to use this theme.
+Examples of proof_frog files can be found in the [examples git repository](https://github.com/ProofFrog/examples).
 
-To get started with creating a site, simply:
+For example:
 
-1. click "[use this template]" to create a GitHub repository
-2. go to Settings > Pages > Build and deployment > Source, and select GitHub Actions
+```
+git clone git@github.com:ProofFrog/examples.git
+proof_frog prove 'examples/Proofs/SymEnc/OTUC=>OTS.proof'
+```
 
-If you want to maintain your docs in the `docs` directory of an existing project repo, see [Hosting your docs from an existing project repo](https://github.com/just-the-docs/just-the-docs-template/blob/main/README.md#hosting-your-docs-from-an-existing-project-repo) in the template README.
+# Development
 
-----
-
-[^1]: [It can take up to 10 minutes for changes to your site to publish after you push the changes to GitHub](https://docs.github.com/en/pages/setting-up-a-github-pages-site-with-jekyll/creating-a-github-pages-site-with-jekyll#creating-your-site).
-
-[Just the Docs]: https://just-the-docs.github.io/just-the-docs/
-[GitHub Pages]: https://docs.github.com/en/pages
-[README]: https://github.com/just-the-docs/just-the-docs-template/blob/main/README.md
-[Jekyll]: https://jekyllrb.com
-[GitHub Pages / Actions workflow]: https://github.blog/changelog/2022-07-27-github-pages-custom-github-actions-workflows-beta/
-[use this template]: https://github.com/just-the-docs/just-the-docs-template/generate
+See the [GitHub repo](https://github.com/ProofFrog/ProofFrog) for source code and development information.