commit: d2a2a046f25d09f868ec934162a7205aae2520f2

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

Tue Apr 21 09:26:25 2026 -0400
committer: Rob Simmons <rob@lean-fro.org>

Tue Apr 21 09:26:25 2026 -0400
tree: e082a00be01e314a55bc24f2a4f8c4da5a9f5016
parent: cf962f911e581369eec419cf0f78662eb816b204 [diff]
parent: 25bab8bcc4ec90ad369e0c4bdea471d9fe73636b [diff]

Merge branch 'master' into fix-empty-doc-snippet-nesting

tree: e082a00be01e314a55bc24f2a4f8c4da5a9f5016

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.