https://github.com/leanprover/verso
Lean documentation authoring tool
https://github.com/leanprover/verso
Last synced: about 2 months ago
JSON representation
Lean documentation authoring tool
- Host: GitHub
- URL: https://github.com/leanprover/verso
- Owner: leanprover
- License: apache-2.0
- Created: 2023-12-06T08:49:17.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2026-04-07T18:06:37.000Z (about 2 months ago)
- Last Synced: 2026-04-07T20:27:09.239Z (about 2 months ago)
- Language: Lean
- Size: 12.5 MB
- Stars: 289
- Watchers: 18
- Forks: 103
- Open Issues: 76
-
Metadata Files:
- Readme: README-html.md
- License: LICENSE
Awesome Lists containing this project
README
# Verso Manual HTML
This directory contains the Verso user's guide in HTML format. To read
it, you'll need a local web server. Python ships with one, which can
be run as follows:
```
python3 -m http.server 8080
```
Then, open `http://localhost:8080` to read the document.