commit: 902b8d86325c19a7868737a572c7fb50cb8c9717

[log]
author: Kim Morrison <kim@tqft.net>

Thu May 01 22:45:41 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Thu May 01 22:45:41 2025 +0200
tree: 15db00047a4f738de7d873abcf0468c477ab3b3b
parent: bb467f3aebeba29cf25e353beb311d70dae4e3f1 [diff]

add notes about verso/reference-manual

2 files changed

tree: 15db00047a4f738de7d873abcf0468c477ab3b3b

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 (documentation source: doc/make/index.md).