commit: 73089a33ea4ddc8a43670bcc970731c39277d23b

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

Mon Dec 15 10:13:09 2025 -0500
committer: Rob Simmons <rob@lean-fro.org>

Mon Dec 15 10:13:09 2025 -0500
tree: 6ef559ac973160ad0b4c337d516a87d479375faa
parent: 949cf6924649a3ad3aa934ee4466438bd6994064 [diff]

refactor: remove error message explanations from extension

2 files changed

tree: 6ef559ac973160ad0b4c337d516a87d479375faa

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.