fpvandoorn / leanprover-community.github.io

Lean prover community website

The HTML files in this branch are generated by a Github Actions workflow in the newsite branch. See the README there for more information.