commit: bd00c5bca349e2333570dddfc0493c9e47ae7cef

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

Fri May 24 23:11:36 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Fri May 24 23:11:36 2024 +1000
tree: fe9080b19de13acf54d036ab20dcb9718c218930
parent: e5d6872065a32ef14196d40e1c290b7182d10cb3 [diff]
parent: d3ee0be9080f4572ad3be32e94da906d53dc8987 [diff]

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

tree: fe9080b19de13acf54d036ab20dcb9718c218930

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).