mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
8dca311ba5
This PR updates several URLs that are currently pointing to redirects on lean-lang.org, most importantly a few in the top-level README
26 lines
795 B
Markdown
26 lines
795 B
Markdown
This is the repository for **Lean 4**.
|
|
|
|
# About
|
|
|
|
- [Quickstart](https://lean-lang.org/install/)
|
|
- [Homepage](https://lean-lang.org)
|
|
- [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/)
|
|
- [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/)
|
|
- [Documentation Overview](https://lean-lang.org/learn/)
|
|
- [Language Reference](https://lean-lang.org/doc/reference/latest/)
|
|
- [Release notes](RELEASES.md) starting at v4.0.0-m3
|
|
- [Examples](https://lean-lang.org/examples/)
|
|
- [External Contribution Guidelines](CONTRIBUTING.md)
|
|
|
|
# Installation
|
|
|
|
See [Install Lean](https://lean-lang.org/install/).
|
|
|
|
# Contributing
|
|
|
|
Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
|
|
|
|
# Building from Source
|
|
|
|
See [Building Lean](doc/make/index.md).
|