https://github.com/leanprover/verso-website
The Verso Website
https://github.com/leanprover/verso-website
Last synced: 3 months ago
JSON representation
The Verso Website
- Host: GitHub
- URL: https://github.com/leanprover/verso-website
- Owner: leanprover
- License: apache-2.0
- Created: 2026-03-09T19:38:52.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2026-03-10T12:05:13.000Z (3 months ago)
- Last Synced: 2026-03-10T18:42:38.446Z (3 months ago)
- Language: Lean
- Size: 2.82 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Agents: AGENTS.md
Awesome Lists containing this project
README
# Verso Website
The website for [Verso](https://github.com/leanprover/verso), built
using Verso itself. The main page content is in
[`Site/FrontPage.lean`](Site/FrontPage.lean) and the HTML theme is
defined in [`Main.lean`](Main.lean).
## Building
Requires [elan](https://github.com/leanprover/elan) (the Lean version
manager).
```sh
lake build
```
## Generating HTML
```sh
lake exe generate-site
```
The output is written to `_site/`. Serve it with a local web server to
view correctly:
```sh
cd _site && python3 -m http.server
```
## Development
### Formatting
This project uses [Prettier](https://prettier.io/) for formatting CSS,
Markdown, and YAML files.
```sh
npm install
npx prettier --check .
npx prettier --write . # to auto-fix
```
### Conventions
- All `.lean` files must start with a copyright header
- PR titles must follow the commit convention: `: `
- Allowed types: `feat`, `fix`, `doc`, `style`, `refactor`,
`test`, `chore`, `perf`
## License
Apache 2.0 — see [LICENSE](LICENSE).