mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00

Files

David Thrane Christiansen 12ff2d8c49 chore: remove old documentation site (#7974 )

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.

2025-05-14 14:31:33 +00:00

844 B

Raw Blame History

This is the repository for Lean 4.

About

Quickstart
Homepage
Theorem Proving Tutorial
Functional Programming in Lean
Documentation Overview
Language Reference
Release notes starting at v4.0.0-m3
Examples
External Contribution Guidelines

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

844 B Raw Blame History

About

Installation

Contributing

Building from Source

844 B

Raw Blame History