commit: 0055baf73a00c913f08d9cbf7a076c936c029707

[log]
author: Jesse Wright <63333554+jeswr@users.noreply.github.com>

Mon Feb 05 13:30:48 2024 +0000
committer: GitHub <noreply@github.com>

Mon Feb 05 13:30:48 2024 +0000
tree: 3150aa3e1bf6d7e7f745759f9d8a4a562fe583a2
parent: f40c999f68cbf5ae665cc895fc61b0ed14cbfc01 [diff]

doc: add links to folder references (#3249)

This PR adds links to some folder references in the docs, making them
easier to navigate.

Please advise if these need to be made to be full URIs rather than
relative paths in order to work correctly with the doc generation
tooling that is in place.

2 files changed

tree: 3150aa3e1bf6d7e7f745759f9d8a4a562fe583a2

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.