commit: 287d46e1f6a7a6136c7996367a9b203d93797d00

[log]
author: Kim Morrison <kim@tqft.net>

Thu Jun 06 13:47:03 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jun 06 06:20:50 2024 +0100
tree: 72fe956f17bd242d0eb0cfa153313defeafc8f7d
parent: 0d30517dca094a07bcb462252f718e713b93ffba [diff]

chore: update stage0

49 files changed

tree: 72fe956f17bd242d0eb0cfa153313defeafc8f7d

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).