commit: 7a4cfbd9b2f44d1c6d94d419a27651a0799a2635

[log]
author: Kim Morrison <qim.morrison@gmail.com>

Wed Aug 26 14:36:16 2026 +1000
committer: Kim Morrison <qim.morrison@gmail.com>

Wed Aug 26 14:36:16 2026 +1000
tree: bc30d8330bc9b8c1acc9f614d2a2098a6ebfa83a
parent: 8f1b413cd529a563f07f3b58b766ba7c2e9b0e9a [diff]
parent: b9c9eb9a3acefaa242c1da2a31e3723e94fde3a5 [diff]

Merge remote-tracking branch 'origin/master' into scopedNS

# Conflicts:
#	tests/elab_fail/versoDocMissing.lean.out.expected

tree: bc30d8330bc9b8c1acc9f614d2a2098a6ebfa83a

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.