commit: f9e65c116339971107e144f6ed48456463b80a70

[log]
author: Rob Simmons <rob@lean-fro.org>

Tue Nov 25 13:40:59 2025 -0500
committer: Rob Simmons <rob@lean-fro.org>

Tue Nov 25 13:40:59 2025 -0500
tree: d7911589cb901263d7d15704951fe7c37c0b9a38
parent: fa67f300f6352a8e1813c714474a282f89663445 [diff]

Keep error explanations in sync

3 files changed

tree: d7911589cb901263d7d15704951fe7c37c0b9a38

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.