mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
12ff2d8c49
This PR removes the old documentation overview site, as its content has moved to the main Lean website infrastructure. This should be merged when the new website section is deployed, after installing appropriate redirects. Developer documentation is remaining in Markdown form, but it will no longer be part of the documentation hosted on the Lean website. Example code stays here for CI, but it is now rendered via a Verso plugin.
459 B
459 B
Developer Documentation and Examples
This directory contains documentation that describes how to work on
Lean itself, as well as examples that are included in documentation
that's hosted on the Lean website. The make directory contains
information on building Lean, and the dev directory describes how to
work on Lean.
The documentation section has links to documentation that describes how to use Lean itself.