commit: e85c9ea3eb6d08a2ff2d90eced7700c12bc154b5

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

Sun Apr 13 12:59:34 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Apr 13 12:59:34 2025 +1000
tree: 83cf5de74b229afb516b90af2f0cc2feaf6a950c
parent: 59505936714393711159f3a393a2d70cdee37da3 [diff]
parent: d7cc0fd75469531f067d0527e1f9715df106a2e3 [diff]

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

tree: 83cf5de74b229afb516b90af2f0cc2feaf6a950c

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