commit: 58014ae18fe6bcbb74347b34e39fa5b2ba7718b9

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Fri Jun 12 13:54:54 2026 +0000
committer: Sebastian Graf <sgraf1337@gmail.com>

Fri Jun 12 13:55:40 2026 +0000
tree: fde74e5be5616757201199a408da69f39fe9ddb2
parent: 29e4fec6dfa1c743994696e4c74d0a012afe68d7 [diff]

doc: fix typos in `do` elaborator and parser docs

4 files changed

tree: fde74e5be5616757201199a408da69f39fe9ddb2

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.