DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: Update website

Browse source
This commit is contained in:
jstoobysmith 2024-06-15 12:11:11 -04:00
parent b37b764026
commit 96083899fb
2 changed files with 14 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
doc/_config.yml
View file

@ -18,18 +18,25 @@
# You can create any custom variable you would like, and they will be accessible # You can create any custom variable you would like, and they will be accessible
# in the templates via {{ site.myvariable }}. # in the templates via {{ site.myvariable }}.
title: HepLean title: "HepLean: Digitalizing High-Energy Physics in Lean 4"
email: HEPLean #email: HEPLean
description: >- # this means to ignore newlines until "baseurl:" description: >- # this means to ignore newlines until "baseurl:"
A project to digitalize results from high-energy physics into Lean 4. A project to digitalize results from high-energy physics into Lean 4.
baseurl: "/HepLean" # the subpath of your site, e.g. /blog baseurl: "/HepLean" # the subpath of your site, e.g. /blog
url: "https://heplean.github.io" # the base hostname & protocol for your site, e.g. http://example.com url: "https://heplean.github.io" # the base hostname & protocol for your site, e.g. http://example.com
#twitter_username: jekyllrb #twitter_username: jekyllrb
github_username: HEPLean github_username: "HEPLean"
# Build settings # Build settings
theme: minima theme: minima
minima:
skin: solarized
author:
name: HEPLean
email: " "
# The following items will not be processed, by default. # The following items will not be processed, by default.
# Any item listed under the `exclude:` key here will be automatically added to # Any item listed under the `exclude:` key here will be automatically added to
# the internal "default list". # the internal "default list".

5
doc/index.markdown
View file

@ -4,6 +4,9 @@
layout: home layout: home
--- ---
[![](https://img.shields.io/badge/Documentation-blue)](https://heplean.github.io/HepLean/docs)
[![](https://img.shields.io/badge/GitHub-blue)](https://github.com/HEPLean/HepLean)
# Documentation (This site is a work in progress. More to follow. Follow the links above to
the documentation page or GitHub.)