mgrabovsky / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Home Page:https://leanprover-community.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Lean prover community website

Dependencies

  • pip install -r requirements.txt

Building the bibliography requires bibtool.

In order to rebuild the CSS from SCSS, you also need:

The website relies on several components which are built in other repositories:

Building

  • Build CSS if needed: sass scss/lean.scss > css/lean.css
  • Build site using make_site.py. Use option --local for local viewing (internal url will be prefixed by local file path). Use option --reload to continuously build when templates are changed (this won't work for watching changes in data/).

TODO

  • Use pygments for syntax highlighting
  • Better integration with Zulip archive
  • Better integration with API docs
  • Use webpack or similar to bundle all the javascript?

Old website

The files and history for the old leanprover-community website can be found in the oldsite branch of this repo.

About

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

License:MIT License


Languages

Language:CSS 79.2%Language:HTML 8.9%Language:TeX 7.5%Language:Python 4.2%Language:Shell 0.2%