commit: 6561980ec3520e0c81a51a2ecdc0f9411bec3f53

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Tue Jun 02 15:24:48 2026 +0200
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Tue Jun 02 15:24:48 2026 +0200
tree: 9abd95be488a51f3b13c881823c5e4390a4ee469
parent: 087cb22aa58c45cd55184d15692ae608e0fe6c03 [diff]

fix stage2

2 files changed

tree: 9abd95be488a51f3b13c881823c5e4390a4ee469

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.